論理

命題論理の基本単位は「真または偽のどちらか一方であるような主張」であり、これを命題変数と呼びます。その上で、より複雑な主張を生成する操作を命題変数どうしを組み合わせる操作として定式化します。

命題論理の基本単位が命題変数であったのに対し、述語論理では命題関数と呼ばれる概念が基本単位となります。それにより扱うことのできる言明の範囲が広がるとともに、量化と呼ばれる操作が可能になります。