(p2-10) ￢(P∧￢Q)∧￢(Q∧￢P) つまり (P⇒Q)∧(Q⇒P) すなわち P⇔Q [同値(EQUIVALENT)] の真偽表(推論)

 P  Q   ￢P  ￢Q   P∧￢Q  Q∧￢P   ￢(P∧￢Q) 
 P⇒Q 		 ￢(Q∧￢P) 
 Q⇒P 		  ￢(P∧￢Q)∧￢(Q∧￢P) 
 (P⇒Q)∧(Q⇒P) 
 P⇔Q 
 ×  ×   ○  ○   ×  ×   ○  ○   ○ 
 ×  ○   ○  ×   ×  ○   ○  ×   × 
 ○  ×   ×  ○   ○  ×   ×  ○   × 
 ○  ○   ×  ×   ×  ×   ○  ○   ○ 

・￢(P∧￢Q)∧￢(Q∧￢P) つまり (P⇒Q)∧(Q⇒P)をP⇔Qと表す。


├目次に戻る