看板 [ logic ]
討論串[請益] 量詞邏輯問題
共 2 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#2
Re: [請益] 量詞邏輯問題
推噓1(1推 0噓 12→)留言13則，0人參與, 最新作者theyangist (theyangist)時間13年前 (2012/12/20 22:02), 編輯資訊
0
0
0
內容預覽:
(ex)(~Px v Px) 在經典邏輯就是個套套邏輯(tautology)。. (ex)(~Px) v (ex)(Px) 是不一樣的意思。. 例如：. 1|| (ex)(~Px) (假設). 2|| (ex)(~Px) v (ex)(Px) (以1,Add). 3| (ex)(~Px) -> ((
#1
[請益] 量詞邏輯問題
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者teves (teves)時間13年前 (2012/11/08 18:39), 編輯資訊
0
0
0
內容預覽:
請問一個問題. ((Ex) ~P(x)) v ((Ex) P(x)). 可以視為True嗎 (消掉) ?. 用了EI規則只能寫成 ~P(A) v P(B), 因為兩個量限詞範圍不同?. 還是寫成這樣也是錯的?. 好像如果x是空集合就會有問題. 但是如果x是空集合那理論上也不能用EI規則?. --.
首頁
上一頁
1
下一頁
尾頁