(p2-13) P のみ と (p2-4) ¬P のみ と (p2-13) ¬¬P のみ と (p2-4) ¬¬¬P のみ (命題2つ) の真偽表(推論)

 IN  OUT 
 P  Q   P  ¬P   ¬¬P  ¬¬¬P 
 ×  ×   ×  ○   ×  ○ 
 ×  ○   ×  ○   ×  ○ 
 ○  ×   ○  ×   ○  × 
 ○  ○   ○  ×   ○  × 

目次に戻る