(P⇔Q)⇒(Q⇔P) [対称律(SYMMETRY)]の真偽表(推論)
P
Q
P⇔Q
Q⇔P
(P⇔Q)⇒(Q⇔P)
○
○
○
○
○
○
×
×
×
○
×
○
×
×
○
×
×
○
○
○
・対称律はつねに真なり。
├
目次に戻る