25/11/08 17:17:03.51 ZuSEB9pS.net
>>496
>>矛盾した理論はいかなる命題も証明できてしまうからまったくのナンセンス
>そうだね
分かって言ってる？ 背理法も分からないんじゃ疑わしい
【定理】
P,Qを任意の論理式とする。P∧￢P |= Q。
【証明】
(1) P∧￢P (前提)
(2) P ((1)と連言除去)
(3) P∨Q ((2)と選言導入)
(4) ￢P ((1)と連言除去)
(5) Q ((3)と(4)と選言三段論法)
25/11/08 17:17:03.51 ZuSEB9pS.net
>>496
>>矛盾した理論はいかなる命題も証明できてしまうからまったくのナンセンス
>そうだね
分かって言ってる？ 背理法も分からないんじゃ疑わしい
【定理】
P,Qを任意の論理式とする。P∧￢P |= Q。
【証明】
(1) P∧￢P (前提)
(2) P ((1)と連言除去)
(3) P∨Q ((2)と選言導入)
(4) ￢P ((1)と連言除去)
(5) Q ((3)と(4)と選言三段論法)