[請益] 述詞邏輯符號化
最近在讀邏輯書時，述詞邏輯符號化的部分，一直讀不過去。
因此想在此請教各位~
P：x是哲學家
C：x是勇敢的
※表達「存在」的側E，似乎打不出來，所以我直接使用了E。
(1)所有的哲學家是勇敢的。
(x)(Px → Cx)
(2)有些哲學家是勇敢的。
(Ex)(Px ˙ Cx)
上面兩個符號化的寫法應該會符合邏輯書的寫法。
但我的問題是，為何 (1) 不能寫成 (x)(Px ˙ Cx) 或 (Ex)(Px → Cx)
以及為何 (2) 不能寫成 (Ex)(Px → Cx) 呢？
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 125.227.138.95
※ 編輯: leisureman 來自: 125.227.138.95 (02/25 22:02)
討論串 (同標題文章)