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

 IN  OUT 
 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) 
 ×  ×   ○  ○   ×  ×   ○  ○   ○  × 
 ×  ○   ○  ×   ×  ○   ○  ×   ×  ○ 
 ○  ×   ×  ○   ○  ×   ×  ○   ×  ○ 
 ○  ○   ×  ×   ×  ×   ○  ○   ○  × 

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


├目次に戻る