推 Yures:呃...上面的推導應該是有寫完喔。@@" 03/30 22:41
※ 引述《sandyclaws (剩蛋老人)》之銘言：
: 請問在邏輯的推導式中
: 可以推導過程或命題與結論矛盾嗎?
: 例如命題或是推導中 有一 ~Q
: 欲求結論卻是Q
: 1.R^(S^T)
: 2.~Q
: 3.(S^~Q)>Q
: /Q >是條件號 ^是連言號
: 4.S^T(1.SIMP)
: 5.S(4.SIMP)
: 6.S^~Q(2.5.CONJ)
: 7.Q(3.6.MP)
: 既然命題都~Q了
: 為什麼結論還可以是Q呢@@?
: 感謝大家囉!
這個應該是所謂的RAA推論規則,
但上面的proof沒有寫完, 應該還要加上:
8. Q^~Q (2, 7 CONJ)
9. Q (1-8 RAA)
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.217.144.117