(p2-9) ¬¬P∧Q と (p2-8) ¬(¬¬P∧Q) の真偽表(推論)
P
Q
¬P
¬¬P
¬¬P∧Q
¬(¬¬P∧Q)
×
×
○
×
×
○
×
○
○
×
×
○
○
×
×
○
×
○
○
○
×
○
○
×
├
目次に戻る