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