图1 命题逻辑与谓词逻辑
1. 命题
具有真假意义的语句。无法表达结构和逻辑关系。
2. 谓词
谓词=谓词名+个体。谓词名:刻画个体的性质、状态、关系。大写字母表示。个体:独立存在的事物或抽象的概念。小写字母表示,可为常量、变元、函数。个体数目称为谓词的元。
3. 谓词公式
将命题用连接词连接。
1) 连接词:否定、合取
、析取
、条件
、双条件
。连接词的优先级别:
、
、
、
、
2) 量词
4. 定义
设P与Q是两个谓词公式,D是他们共同的个体域,若对D上的任何一个解释,P与Q都有相同的真假,则称公式P和Q在D上是等价的。记作。
对于谓词公式P和Q,如果永真,则称P永真蕴含Q,且称Q为P的逻辑结论,称P为Q的前提,记作
参考文献:
[1] 王永庆. 人工智能原理与方法. 西安: 西安交通大学出版社
[2] 尹朝庆. 人工智能方法与应用. 武汉: 华中科技大学出版社, 2007.