○×の組み合わせ(命題1つ)

 IN  OUT 
 P  p1-1 
 p0-1 
 P∧¬P 
 p1-2 
 - 
 ¬P 
 p1-3 
 - 
 ¬¬P 
 p1-4 
 p0-2 
 P∨¬P 
 ×  ×   ○  ×   ○ 
 ○  ×   ×  ○   ○ 

目次に戻る