[請益] 量詞邏輯問題

看板logic作者 (teves)時間13年前 (2012/11/08 18:39), 編輯推噓0(0推 0噓 0→)
留言0則, 0人參與, 最新討論串1/2 (看更多)
請問一個問題 ((Ex) ~P(x)) v ((Ex) P(x)) 可以視為True嗎 (消掉) ? 用了EI規則只能寫成 ~P(A) v P(B), 因為兩個量限詞範圍不同? 還是寫成這樣也是錯的? 好像如果x是空集合就會有問題 但是如果x是空集合那理論上也不能用EI規則? -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 169.234.130.248 ※ 編輯: teves 來自: 169.234.130.248 (11/08 18:41)
‣ 更多 teves 的文章
文章代碼(AID): #1Gcul__r (logic)
‣ 更多 teves 的文章
文章代碼(AID): #1Gcul__r (logic)