(p2-5) P∧￢Q と (p2-12) ￢(P∧￢Q) つまり P⇒Q [ならば (IMPLIES)] と (p2-5) ￢￢(P∧￢Q) つまり ￢(P⇒Q) の真偽表(推論)

 IN  OUT 
 P  Q   ￢Q  P∧￢Q   ￢(P∧￢Q) 
 P⇒Q 		 ￢￢(P∧￢Q) 
 ￢(P⇒Q) 
 ×  ×   ○  ×   ○  × 
 ×  ○   ×  ×   ○  × 
 ○  ×   ○  ○   ×  ○ 
 ○  ○   ×  ×   ○  × 

・￢(P∧￢Q)をP⇒Qと表す。
参考文献: (ISBN4-7596-0324-7) 『モノグラフ24公式集』 (1994年6月10日第19刷) の321ページ


├目次に戻る