作者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