命題論理

命題論理は、真か偽かを判定できる文（命題）を、否定、論理積、論理和などで組み合わせ、その真理値や等価な関係を調べる論理の体系です。

■ 試験で押さえるポイント

• どの場合でも真になる式を恒真式、どの場合でも偽になる式を矛盾式といいます。

• 真理値表で、すべての組合せを確かめられます。

• 「pならばq」は「pでない、またはq」と等価です。

■ 選択肢での判断ポイント

命題は真偽を判定できる文です。疑問文や命令文は命題になりません。