P∧(￢Q⇒￢P)とQ [背理法 (Reductio ad Absurdum)] の真偽表(推論)

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

・P∧(￢Q⇒￢P) が○になるのはQが○のときだけ


├目次に戻る