作者sandyclaws (剩蛋老人)
看板logic
标题[请益] 问一个逻辑证明技巧
时间Mon Apr 11 23:21:09 2011
问一个有关逻辑推导的技巧
在命题互相矛盾的时候 可以推导出任何结论
今天我推导出
R^~R(R且非R)
请问要怎样推导出S(任何一个结论)?
感谢大家罗!
--
╭─────────────────────────────────────╮
│
这篇文章让你觉得？ │
│ │
│
(⊙o⊙)（￣︶￣）(▔□▔)(〒△〒)(ψ(._. )>)y(￣︶￣)y(￣ー￣；)
（#￣皿￣)│
│
略懂 瘟腥 中枪 认亲 实用 高兴 汗颜 翻桌 │
╰─────────────────────────────────────╯
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 114.45.161.90
1F：推 luciferii:如果你的 "R^~R" 是你推导出来的，那叫悖论不叫矛盾，恭 04/11 23:58
2F：→ luciferii:喜你找到新悖论。 04/11 23:58
3F：→ luciferii:如果你的 R^~R 是前提，那真的是假的假的也是真的，那没 04/11 23:58
4F：→ luciferii:有什麽不可以是真的了 04/11 23:58
5F：→ sandyclaws:恩恩 所以可以推导出任何结论 我想请教的是 推导是该 04/12 00:11
6F：→ sandyclaws:该怎样写 感恩~! 04/12 00:11
7F：推 mikechan:(R&~R)=>(R& ~R )or S 04/14 01:30
8F：→ mikechan:assume R => ~R is F so R&~R is F 04/14 01:31
9F：→ mikechan:so S is T 04/14 01:31
10F：→ mikechan:assume ~R => R is F so R&~R is F 04/14 01:31
11F：→ mikechan:so S is T 04/14 01:31
12F：推 dementia:to 1f: 那不是悖论 悖论要前提(至少看起来)为真 推导不用 04/16 03:40