命題論理と述語論理とは？めいだいろんりとじゅつごろんり
命題論理は真偽が定まる文（命題）を、AND・OR・NOT・含意などで結びつけて推論を扱う体系。述語論理はさらに「すべての」「ある〜が存在する」といった量化子を用いて対象の性質・関係まで扱う、より表現力の高い体系。
最終更新：2026-10-06
応用情報を最短で暗記・合格する →具体例
「xは偶数である」は変数xの値によって真偽が変わるため命題ではなく述語だが、「すべての整数xについてxは偶数か奇数である」のように量化子を付けると命題として扱える。
試験での引っ掛け
「すべての」「ある〜が存在する」という量化子を扱えるかどうかが命題論理と述語論理の分岐点。述語論理は命題論理を含む上位の体系であって、別系統の理論ではない。また「すべてのxがPである」の否定は「すべてのxがPでない」ではなく「Pでないxが少なくとも1つ存在する」で、量化子と否定の順序を入れ替えると意味が変わる。
関連用語
出典・参考
解説は資格暗記が独自に作成しています。過去問の出典は各問題に記載のとおりです。