(P⇒Q)⇒(Q⇒P) [対称律(SYMMETRY)]の真偽表(推論)
P
Q
P⇒Q
Q⇒P
(P⇒Q)⇒(Q⇒P)
○
○
○
○
○
○
×
×
○
○
×
○
○
×
×
×
×
○
○
○
・[対称律]は必ずしも真ならず。
├
目次に戻る