¬(p2-12) と p2-5 の真偽表(推論)
IN
OUT
P
Q
p2-12
¬(p2-12)
p2-5
×
×
○
×
×
×
○
○
×
×
○
×
×
○
○
○
○
○
×
×
├
目次に戻る