(P⇒Q)∧(Q⇒P) [同値(EQUIVALENT)]の真偽表(推論)
P
Q
P⇒Q
Q⇒P
(P⇒Q)∧(Q⇒P)
○
○
○
○
○
○
×
×
○
×
×
○
○
×
×
×
×
○
○
○
・(P⇒Q)∧(Q⇒P)をP⇔Qと表す。
├
目次に戻る