[請益] 問一個邏輯證明技巧

看板logic作者 (剩蛋老人)時間14年前 (2011/04/11 23:21), 編輯推噓3(3推 0噓 9→)
留言12則, 4人參與, 最新討論串1/3 (看更多)
問一個有關邏輯推導的技巧 在命題互相矛盾的時候 可以推導出任何結論 今天我推導出 R^~R(R且非R) 請問要怎樣推導出S(任何一個結論)? 感謝大家囉! -- ╭─────────────────────────────────────╮ │ 這篇文章讓你覺得？ │ │ │ │(⊙o⊙)（￣︶￣）(▔□▔)(〒△〒)(ψ(._. )>)y(￣︶￣)y(￣ー￣；)（#￣皿￣)│ │ 略懂 瘟腥 中槍 認親 實用 高興 汗顏 翻桌 │ ╰─────────────────────────────────────╯ -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 114.45.161.90
推
04/11 23:58, , 1F
如果你的 "R^~R" 是你推導出來的，那叫悖論不叫矛盾，恭
04/11 23:58, 1F
→
04/11 23:58, , 2F
喜你找到新悖論。
04/11 23:58, 2F
→
04/11 23:58, , 3F
如果你的 R^~R 是前提，那真的是假的假的也是真的，那沒
04/11 23:58, 3F
→
04/11 23:58, , 4F
有什麼不可以是真的了
04/11 23:58, 4F
→
04/12 00:11, , 5F
恩恩 所以可以推導出任何結論 我想請教的是 推導是該
04/12 00:11, 5F
→
04/12 00:11, , 6F
該怎樣寫 感恩~!
04/12 00:11, 6F
推
04/14 01:30, , 7F
(R&~R)=>(R& ~R )or S
04/14 01:30, 7F
→
04/14 01:31, , 8F
assume R => ~R is F so R&~R is F
04/14 01:31, 8F
→
04/14 01:31, , 9F
so S is T
04/14 01:31, 9F
→
04/14 01:31, , 10F
assume ~R => R is F so R&~R is F
04/14 01:31, 10F
→
04/14 01:31, , 11F
so S is T
04/14 01:31, 11F
推
04/16 03:40, , 12F
to 1f: 那不是悖論 悖論要前提(至少看起來)為真 推導不用
04/16 03:40, 12F
‣ 更多 sandyclaws 的文章
文章代碼(AID): #1DennfBJ (logic)
‣ 更多 sandyclaws 的文章
文章代碼(AID): #1DennfBJ (logic)