一階謂詞邏輯表示法
命題
一個非真即假的陳述句
謂詞
一般形式：P(X1, X2, ..., Xn)
P是謂詞名，X是個體
個體可分為：
- 個體是常量：
- 個體是變元：
- 個體是函數：
（個體到另一個體的映射） - 個體是謂詞：
謂詞公式
連接詞
合取 ∧ （與）
析取 ∨ （或）
否定 ﹁（非）
蘊含 →（若...則）
等價 ↔ （當且僅當）
量詞
全稱量詞 ∀x
存在量詞 ∃x
量詞的轄域
即位於量詞后面的單個謂詞或者用括弧括起來的謂詞公式
約束變元：轄域內
自由變元：轄域外
免責聲明！
本站轉載的文章為個人學習借鑒使用，本站對版權不負任何法律責任。如果侵犯了您的隱私權益，請聯系本站郵箱yoyou2525@163.com刪除。