(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)
×
×
○
×
○
○
○
×
×
○
×
×
├
目次に戻る