[請益] 述詞邏輯的一個小問題

[gooogle79 (北風亂 夜未央)]

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)
→ JaegwonKim:基本上是有效的 但我覺得要一步驟一步驟做比較好
→ JaegwonKim:Simp UI UI Impl DeM UG UG Add...
→ JaegwonKim:有沒有符合推論規則應該要看你用什麼規則而定
→ JaegwonKim:附上邏輯推論檢驗機 http://logic.tamu.edu/
→ gooogle79:那如果&改成or呢?
推 JaegwonKim:不太懂你的意思? 我第二推最後應該是conj不是add 記錯
→ gooogle79:改成：(Ex)Ax or (x)(y)﹁(Ay-->Ax)
推 JaegwonKim:其實只要明白(x)(y)﹁(Ay-->Ax)與(x)(y)(Ay & ﹁Ax)等
→ JaegwonKim:價的 那都有效的
→ JaegwonKim:如果前提換成OR 建議用Indirect Proof來證明
→ gooogle79:感謝!!!