逻辑：形式证明

是 否 +2 论坛币

k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币

有没有高人可以为以下的论证写出形式证明：
~(P⊃P)⊃~P                     /∴P

1. ~(P⊃P)⊃~P                 /∴P
2. ~~P⊃~~(P⊃P)             1, Trans.
3. P⊃(P⊃P)                      2, D.N.
4. P⊃(~P v P)                   3, Impl.
5. ~P v (~P v P)                4, Impl.
6. (~P v ~P ) v P               5, Assoc.
7. P v ~P                           6, Taut.
8. ? ? ? ? ? ........

小妹愚昧，做来做去只能做到 P v ~P !

如何可将P v ~P推到结论P呢？

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0 收藏0 回帖

关键词：Trans MPL RAN ans 有没有 形式 逻辑

有大哥可以解答吗？