注意点
正しく証明・計算の結果が学術的に本当に正しいかどうかは保証できません…ご了承くださいm(__)m
学生の方であれば、疑問に思ったところなどは教授・助教授、その他周りの方に確認してくださいね。
もし、コメント等でご指摘いただければ有難いです。
【問題】$\lnot P$の真理値表を示せ
命題変数$P$に対して論理式$\lnot P$の真理値表を示せ。
回答
命題変数$P$は真（T）、偽（F）の2パターンがあります。よって、すべての組み合わせは「真」「偽」になるため、その2通りを確認します。
また、$\lnot P$（Pの否定）は、命題$P$が「真」であれば「偽」、$P$が「偽」であれば「真」となる論理式です。よって、真理値表は下記のようになります。
| $P$ | $\lnot P$ |
|---|---|
| T | F |
| F | T |
上表にて、$\lnot P$の真理値表が示せました。
Q.E.D.
備考
$\lnot$（否定）の意味を表にするだけの問題です。定義を表にしただけです。
キーワード
気になる人は調べてみてね。
数理論理学、否定（$\lnot$）、命題変数、論理式、真理値表、Q.E.D.
注意点
正しく証明・計算の結果が学術的に本当に正しいかどうかは保証できません…ご了承くださいm(__)m
学生の方であれば、疑問に思ったところなどは教授・助教授、その他周りの方に確認してくださいね。
もし、コメント等でご指摘いただければ有難いです。
