人工智能导论第二课 ------命题与一阶谓词表示法

人工智能导论第二课

------命题与一阶谓词表示法

命题

命题是一个非真即假的陈述句，用大写的P、Q、R表示命题

比如：P：小明爱打篮球

谓词

因为命题无法表示事物的内在逻辑特征和不同事物之间的联系，所以在命题的基础上发展了谓词。

比如有命题P：老李是小李的父亲，则只用字母P是看不出来老李和小李的关系的。

我们用个体表示某个独立存在的事物或者某个抽象的概念，比如：小明，苹果，用谓词名刻画个体的性质、状态或个体间的关系，比如：谁谁谁是人

我们用a表示小明这个个体，P表示谁谁谁是人的谓词名，这样就有了一个一元谓词

​ P(a)

表示小明是人

谓词名一般用单词或大写英文字母，个体可以是常量、变元、函数，如P(x),表示x是人

谓词公式

$┐$ :否

$\vee$ :析取，表示或

$\wedge$ :合取，和

$\to$ :蕴含，条件

$\leftrightarrow$ :等价，双条件

$\forall$ :所有

$\exists$ :存在

谓词公式的等价性

等价式