一阶谓词逻辑表示法
命题
一个非真即假的陈述句
谓词
一般形式：P(X1, X2, ..., Xn)
P是谓词名，X是个体
个体可分为：
- 个体是常量：
- 个体是变元：
- 个体是函数：
（个体到另一个体的映射） - 个体是谓词：
谓词公式
连接词
合取 ∧ （与）
析取 ∨ （或）
否定 ﹁（非）
蕴含 →（若...则）
等价 ↔ （当且仅当）
量词
全称量词 ∀x
存在量词 ∃x
量词的辖域
即位于量词后面的单个谓词或者用括弧括起来的谓词公式
约束变元：辖域内
自由变元：辖域外
免责声明！
本站转载的文章为个人学习借鉴使用，本站对版权不负任何法律责任。如果侵犯了您的隐私权益，请联系本站邮箱yoyou2525@163.com删除。