离散数学概论

演绎推理：又一般规律推向个别事实

判断命题：是不是陈述句，有且只有一个真值

命题连接词

 异或代表两个不能同时发生，如果p那么q

等价代表当且仅当

 

从这里看出异或不是合式公式

对偶式A*的定义 

 前者为关系符号，后者为运算符，结果不定

 只要证明当A为真时，B永远不会为假

析取范式和合取范式

小项是合取

大项是析取

主析取范式:要求每个项都是小项

可以求出所有为真的类型，将所有小项析取。

只有一种方式使他为true，其他都为false

主合取范式对应大项，用合取连接。只有一种方式使他为false，其余都为true

 也就是后边的前提可以提到前边来

 是个永假式即可

 

 

 

 

 做前键作用域要发生替换

谓词逻辑是命题逻辑的扩充和发展，它将一个原子命题分解成个体和谓词两个组成部分。在谓词公式 P(x) 中，P 称为谓词，x 称为个体变元，若 x 是一元的，称为一元谓词， P(x，y) 称为二元谓词。

在谓词中，个体可以为常量，变量，函数。若谓词中的个体都为常量，变量或函数，则称它为一阶谓词，如果个体本身是谓词，称为二阶谓词，依次类推。

 

 二:反自反

三:对称性 xRy yRx 在两个不同的节点

四:反自反 如果有xRy和yRx则有x=y   例如小于等于

五:传递性

IA表示恒等关系

 

图灵机

线性状态自动机

 

 下推自动机

 有穷状态自动机