(p1-3) ￢￢P∧￢￢P と (p1-2) ￢(￢￢P∧￢￢P) つまり ￢P∨￢P もしくは ￢￢P⇒￢P と (p1-3) ￢￢(￢￢P∧￢￢P) つまり ￢(￢P∨￢P) もしくは ￢(￢￢P⇒￢P) の真偽表(推論)

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

├目次に戻る