L000018T

(p1-1) ￢P∧P [矛盾 (Contradiction)] と (p1-4) ￢(￢P∧P) の真偽表(推論)

P	￢P	￢P∧P	￢(￢P∧P)
×	○	×	○
○	×	×	○

・矛盾はつねに偽になる。