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

[sandyclaws (剩蛋老人)]

問一個有關邏輯推導的技巧

在命題互相矛盾的時候  可以推導出任何結論


今天我推導出

R^~R(R且非R)

請問要怎樣推導出S(任何一個結論)?


感謝大家囉!

--
╭─────────────────────────────────────╮
│  這篇文章讓你覺得？                                                      │
│                                                                          │
│(⊙o⊙)（￣︶￣）(▔□▔)(〒△〒)(ψ(._. )>)y(￣︶￣)y(￣ー￣；)（#￣皿￣)│
│ 略懂     瘟腥     中槍    認親      實用      高興      汗顏       翻桌  │
╰─────────────────────────────────────╯

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 114.45.161.90
推 luciferii:如果你的 "R^~R" 是你推導出來的，那叫悖論不叫矛盾，恭
→ luciferii:喜你找到新悖論。
→ luciferii:如果你的 R^~R 是前提，那真的是假的假的也是真的，那沒
→ luciferii:有什麼不可以是真的了
→ sandyclaws:恩恩 所以可以推導出任何結論  我想請教的是 推導是該
→ sandyclaws:該怎樣寫 感恩~!
推 mikechan:(R&~R)=>(R& ~R )or S
→ mikechan:assume R => ~R is F so R&~R is F
→ mikechan:so S is T
→ mikechan:assume ~R => R is F so R&~R is F
→ mikechan:so S is T
推 dementia:to 1f: 那不是悖論 悖論要前提(至少看起來)為真 推導不用