命題 $p$ と $q$ に対して、$p \rightarrow q$ の真理値表を完成させる問題です。真理値表には、$\neg p$ と $\neg p \lor q$ の列も含まれています。
2025/6/23
1. 問題の内容
命題 と に対して、 の真理値表を完成させる問題です。真理値表には、 と の列も含まれています。
2. 解き方の手順
まず、 の列を埋めます。 は の否定なので、 が真(1)のときは偽(0)、 が偽(0)のときは真(1)になります。
次に、 の列を埋めます。 は、「 または 」を表すので、 と の少なくとも一方が真であれば真(1)、両方とも偽であれば偽(0)になります。
最後に、 の列を埋めます。 は、「 ならば 」を表し、 が真かつ が偽の場合のみ偽(0)となり、それ以外の場合は真(1)となります。
これは と同値です。
3. 最終的な答え
真理値表は以下のようになります。
| | | | | |
|---|---|---|---|---|
| 1 | 1 | 0 | 1 | 1 |
| 1 | 0 | 0 | 0 | 0 |
| 0 | 1 | 1 | 1 | 1 |
| 0 | 0 | 1 | 1 | 1 |