(p1-1)⇒(p1-1) と (p1-2)⇒(p1-2) と (p1-3)⇒(p1-3) と (p1-4)⇒(p1-4) と p1-4 の真偽表(推論)
IN
OUT
p
p1-1
p1-2
p1-3
p1-4
(p1-1)⇒(p1-1)
(p1-2)⇒(p1-2)
(p1-3)⇒(p1-3)
(p1-4)⇒(p1-4)
×
×
○
×
○
○
○
○
○
○
×
×
○
○
○
○
○
○
├
目次に戻る