看板 [ logic ]
討論串[請益] 述詞邏輯符號化
共 6 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
2
下一頁
尾頁
#1
[請益] 述詞邏輯符號化
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者leisureman (濯濯流澗月)時間13年前 (2012/02/25 21:49), 編輯資訊
0
0
0
內容預覽:
最近在讀邏輯書時，述詞邏輯符號化的部分，一直讀不過去。. 因此想在此請教各位~. P：x是哲學家. C：x是勇敢的. ※表達「存在」的側E，似乎打不出來，所以我直接使用了E。. (1)所有的哲學家是勇敢的。. (x)(Px → Cx). (2)有些哲學家是勇敢的。. (Ex)(Px ˙ Cx). 上
(還有65個字)
首頁
上一頁
1
2
下一頁
尾頁