[請益] 量詞邏輯問題

[teves (teves)]

請問一個問題
((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)