￢(P∧￢Q) [ならば (IMPLIES)] の真偽表(推論)

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

・￢(P∧￢Q)をP⇒Qと表す。

参考文献: (ISBN4-7596-0324-7) 『モノグラフ24公式集』 (1994年6月10日第19刷) の321ページ


├目次に戻る