作者MathTurtle (恩典)
看板logic
标题Re: [请益] 问一个逻辑证明技巧
时间Tue Apr 12 01:18:35 2011
※ 引述《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: 61.217.147.137
1F：→ sandyclaws:非常感谢!! 04/12 19:00