Re: [請益] 量詞邏輯問題
※ 引述《teves (teves)》之銘言：
: 請問一個問題
: ((Ex) ~P(x)) v ((Ex) P(x))
: 可以視為True嗎 (消掉) ?
: 用了EI規則只能寫成 ~P(A) v P(B), 因為兩個量限詞範圍不同?
: 還是寫成這樣也是錯的?
: 好像如果x是空集合就會有問題
: 但是如果x是空集合那理論上也不能用EI規則?
(ex)(~Px v Px) 在經典邏輯就是個套套邏輯(tautology)。
(ex)(~Px) v (ex)(Px) 是不一樣的意思。
例如：
1|| (ex)(~Px) (假設)
2|| (ex)(~Px) v (ex)(Px) (以1,Add)
3| (ex)(~Px) -> ((ex)(~Px) v (ex)(Px)) (以1-2,CP)
1| ~Pa v Pa (假設)
2| (ex)(~Px v Px) (1,EI)
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 115.80.129.209
→
12/21 01:28, , 1F
12/21 01:28, 1F
→
12/21 01:30, , 2F
12/21 01:30, 2F
推
12/21 09:00, , 3F
12/21 09:00, 3F
→
12/21 09:06, , 4F
12/21 09:06, 4F
→
12/21 14:30, , 5F
12/21 14:30, 5F
→
12/21 14:34, , 6F
12/21 14:34, 6F
→
12/21 14:56, , 7F
12/21 14:56, 7F
→
12/21 19:02, , 8F
12/21 19:02, 8F
→
12/21 19:04, , 9F
12/21 19:04, 9F
→
12/21 19:05, , 10F
12/21 19:05, 10F
→
12/21 19:15, , 11F
12/21 19:15, 11F
→
12/21 21:16, , 12F
12/21 21:16, 12F
→
12/21 21:18, , 13F
12/21 21:18, 13F
討論串 (同標題文章)