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

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

目次に戻る