論理命題は 次の 2 つのタイプに分類できます。
- シンプルな提案 – それらはユニークな方法で表現されています。例: 犬は哺乳類です
- 複合命題 – 複合命題は、一連の単純な命題 (「論理接続詞」によってリンクされた 2 つ以上の単純な命題) によって形成されます。
例: ブラジリアはブラジルの首都 、または リマはペルーの首都です。
単純な命題に論理値を割り当てるのは簡単であることがわかりますが、複合命題ではどのように行うのでしょうか?
真理値表と呼ばれるリソースを使用します。
真理値表は、命題のすべての可能な論理値を表すために使用されます。前の例に戻りましょう。
ブラジリアはブラジルの首都です」は「p」で表すことができます。真理値表で –a を表すと、次のようになります。
| p |
| V |
| F |
真理値表が命題のすべての論理的可能性を表現したものであることがわかったので、複合命題の論理値を分析できるように、複合命題を結び付ける 論理接続詞 を学習します。
見て:
こちらもお読みください:
ギャラリー











