作者gooogle79 (北風亂 夜未央)
看板logic
標題[請益] 述詞邏輯的一個小問題
時間Wed Aug 3 19:27:27 2011
1. (Ex)Ax & (x)(y)﹁(Ay-->Ax)
(^存在的意思)
假設這是題目好了，那麼
2. (Ex)Ax & (x)(y)(Ay & ﹁Ax) 1. Impl、DeM
請問這樣做有符合推論規則嗎?
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.115.224
※ 編輯: gooogle79 來自: 140.112.115.224 (08/03 19:29)
1F：→ JaegwonKim:基本上是有效的 但我覺得要一步驟一步驟做比較好 08/03 19:45
2F：→ JaegwonKim:Simp UI UI Impl DeM UG UG Add... 08/03 19:46
3F：→ JaegwonKim:有沒有符合推論規則應該要看你用什麼規則而定 08/03 19:47
5F：→ gooogle79:那如果&改成or呢? 08/03 20:34
6F：推 JaegwonKim:不太懂你的意思? 我第二推最後應該是conj不是add 記錯 08/03 20:43
7F：→ gooogle79:改成：(Ex)Ax or (x)(y)﹁(Ay-->Ax) 08/03 22:30
8F：推 JaegwonKim:其實只要明白(x)(y)﹁(Ay-->Ax)與(x)(y)(Ay & ﹁Ax)等 08/04 18:52
9F：→ JaegwonKim:價的 那都有效的 08/04 18:54
10F：→ JaegwonKim:如果前提換成OR 建議用Indirect Proof來證明 08/04 18:55
11F：→ gooogle79:感謝!!! 08/05 08:36