作者Yures (优而仕。)
看板logic
标题Re: [请益] 问一个逻辑证明技巧
时间Tue Apr 12 16:23:19 2011
如果不使用 RAA 可以这样推：
1. R^~R given
2. R 1. Simp
3. RVS 2. Add
4. ~R 1. Simp
---------
5. S 3., 4. DS
可以发现由於 3 是使用可以添加任何命题的 Add 规则...
所以 S 你想代入任何 wff 都可以！
※ 引述《MathTurtle (恩典)》之铭言：
: ※ 引述《sandyclaws (剩蛋老人)》之铭言：
: : 问一个有关逻辑推导的技巧
: : 在命题互相矛盾的时候 可以推导出任何结论
: : 今天我推导出
: : R^~R(R且非R)
: : 请问要怎样推导出S(任何一个结论)?
: : 感谢大家罗!
: 要看你用的是什麽推理系统(proof theory)
: 如果你用的是自然演译法(natural deduction),
: 看你的系统里有没有RAA推论规则 (如果是直觉逻辑的自然演译法就没有 RAA),
: 如果有的话, 你就可以这样推:
: 1. ~S Assumption
: 2. R^~R Premise
: 3. S 1-2 RAA
--
～
白首相知犹按
剑‧
朱门早达笑弹
冠～
～摘自 王维‧酌酒与裴迪～
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 114.44.176.136
1F：推 MathTurtle:推这个方法。 如果你的natural deduction有DS和add的话 04/12 18:53
2F：→ MathTurtle:这方法是不错的.... 04/12 18:53
3F：推 sandyclaws:今天终於想出来了!和这位大大的方法依样!非常感谢! 04/12 19:00
4F：推 dementia:补充:这是典型的方法 上网或看书都找得到 04/16 03:36