(p1-1)⇒(p1-2) と (p1-1)⇒(p1-3) と (p1-1)⇒(p1-4) と p1-4 の真偽表(推論)

 IN  OUT 
 p  p1-1   p1-2  p1-3   p1-4  (p1-1)⇒(p1-2)   (p1-1)⇒(p1-3)  (p1-1)⇒(p1-4) 
 ×  ×   ○  ×   ○  ○   ○  ○ 
 ○  ×   ×  ○   ○  ○   ○  ○ 

├目次に戻る