L000031T

(p1-3) ￢￢P∧￢￢P と (p1-2) ￢(￢￢P∧￢￢P) つまり￢P∨￢P もしくは￢￢P⇒￢P の真偽表(推論)

P	￢P	￢￢P	￢￢P∧￢￢P	￢(￢￢P∧￢￢P) ￢P∨￢P ￢￢P⇒￢P
×	○	×	×	○
○	×	○	○	×