美少女であるための条件(前項文献のQ13より)
「女の子は、聡明であれば美しい」と言う文を考えます。この結論は、以下のどれから導きだせるのでしょうか?
(a:) 女の子は、美しければ聡明である。
(b:) 女の子は、聡明でなければ美しくない。
(c:) 女の子は、美しくなければ聡明でない。
|
表4.2 発言の論理式表現とその演算 |
|
演算種別 |
記号式と演算 |
真偽値表 |
演算結果説明 |
論理変数を下のように決めます。
P:女の子は聡明である
Q:女の子は美しい
問題は(P⇒Q)と等しくなる
論理式はどれか?を求めること
です。(a:), (b:), (c:)の演算
結果から、トートロジーになる
(c:),が正解です。
この関係は対偶です。 |
命題変数 |
P |
1 |
1 |
0 |
0 |
Pの条件 |
Q |
1 |
0 |
1 |
0 |
Qの条件 |
|
P
|
0 |
0 |
1 |
1 |
Pの否定 |
|
Q
|
0 |
1 |
0 |
1 |
Qの否定 |
前提 |
(P⇒Q) |
1 |
0 |
1 |
1 |
|
(a:) |
(Q⇒P) |
1 |
1 |
0 |
1 |
|
(Q⇒P)⇒(P⇒Q) |
1 |
1 |
0 |
1 |
トートロジーではない |
(b:) |
(P⇒Q) |
1 |
1 |
0 |
1 |
|
(P⇒Q)⇒(P⇒Q) |
1 |
0 |
1 |
1 |
トートロジーではない |
(c:) |
(Q⇒P) |
1 |
0 |
1 |
1 |
|
(Q⇒P)⇒(P⇒Q) |
1 |
1 |
1 |
1 |
トートロジー |
科学書刊株式会社:電子版 「橋梁&都市 PROJECT: 2012」 |