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

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

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


├目次に戻る