2.3 谓词逻辑表示

2.3  谓词逻辑

1

命题逻辑：能够把客观世界的一些事实表示为逻辑命题，但不适合复杂问题

逻辑命题

谓词逻辑：表达无法用命题逻辑表达的事

一阶谓词演算：是一种形式语言。

逻辑联词：1.否定，读作“非P”。2.合取，读作“P与Q”。3.析取，读作“P或Q”。4.条件，读作“若P则Q”。5.双条件，读作“P当且仅当Q”。符号在下图

表示命题的符号：常用的P，Q,，R，P1，P2，其中1，2是下标。

表示真假：T和F，相当于1和0。

常用括号依然是括号、方括号、花括号。

其他逻辑联词：1.异或，表示圆圈里十字或者V上一横线，是双条件的非。2.与非，向上的箭头，作用如其名。3.或非，↓，作用如其图。

永真公式是重言式，永假的是矛盾式，不是矛盾式的是可满足式。

A条件B是重言式，当且仅当A蕴含B，符号的向右双横线箭头。和条件一样。

H1，H2，H3，C或者G1，G2，G3，数字是下标，表示一个命题步骤

苏格拉底推理：只用命题逻辑无法推理。所以要用谓词逻辑。

谓词用大写字母表示例如A（），B（），C（，），谓词变元用X（）。个体用a，d，c，个体变元x，y，z。例如：M（x），这是一目的，有多目的在个体之间加逗号，零目表示命题。

一个谓词就是一个命题函数。

量词，存在，水平倒写的E。对于任意都有，倒写的A。

前提，P规则。P条件Q，P为附加条件，记为CP。逻辑结果为T规则。

函数符号mother（LI）。

连词：就是逻辑联词。

合区范式，所有的或公式被与。对应的是析取范式。

波浪线也是否运算

一阶谓词公式又称合式公式

感兴趣受约束的，这样的合适公式又叫句子，不感兴趣自由的。

2.3.1  谓词演算

2

就是符号是干啥的

2.3.2  谓词公式

3

一些公式

2.3.3  置换与合一

4

推理规则，假元推理：W1和W1蕴含W2产生W2合式公式

推理规则，全称化推理：对于任意x都有W（x），产生W（A），A的常量符号

置换就是用置换数置换合式公式里的变量。

寻找一个置换使两个表达式一样，就是合一。

g是最简单的合一者，记为mgu