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