描述法：规定一个集合A时，将A中元素的特征用一个谓词公式来描述，用为此P(x)表示具有性质P，用{x|P(x)}表示具有性质Pp的集合A，即A={x|P(x)}。它表示集合A是使P(x)为真的所有元素x构成的集合，P(x)是任意谓词

P(a)为真的充要条件是a属于A

P(a)为假的充要条件是a不属于A

数理逻辑

推理是否正确

没有自由变元的公式称为闭 式

永真式：在任何解释I及I的任何赋值下均为真的一阶公式

永假式：在任何I解释及I赋值下均为假的一阶公式

可满足式：至少有一种解释和一种赋值使其为真的一阶公式

命题逻辑永真式的任何代换实例是一阶逻辑的永真式，命题永假式的任何替换实例是一阶逻辑的永假式

推理理论

附加定律

化简定律

假言推理

Ei+1

合取范式

赋值 真值指派

1.设p,q为任意两个命题，复合命题“p异或q"称为p，q的异或（排斥或），pyihuoq为真，当且仅当p，q中恰有一个为真

2.设p，q为两个命题，复合命题”p或q的否定“称为p，q的 或，记作pq。

命题公式及分类

否定："非”

设P为任意命题，复合命题“非P”称为P的否定式，记作，非P为真，当且仅当P为假

蕴含“——>":设p,q为任意两个命题，复合命题”如果p,则q",称为p与q的蕴式，记作：

p称为前件，q称为后件，称为蕴含连接词

pq为假，当且仅当p为真，q为假

布尔代数的电路基本模型：

与门 Y=A∧B

或门 Y=A∨B

非门 Y= 非A