(p2-9) ￢￢Q∧￢￢P と (p2-8) ￢(￢￢Q∧￢￢P) つまり ￢Q∨￢P もしくは ￢￢Q⇒￢P と (p2-9) ￢￢(￢￢Q∧￢￢P) つまり ￢(￢Q∨￢P) もしくは ￢(￢￢Q⇒￢P) の真偽表(推論)

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

├目次に戻る