离散 数学

1. 命题与命题联结词

联结词是2个命题真值之间的联结,而不是命题内容之间的联结

1. 非 ¬
2. 合取 ∧(读’且’)
3. 析取 ∨(读’或’)
4. 条件(蕴涵) → (如果P,则Q). P=0,Q=1,结果1,善意推定
   除非…否则, Q→P
5. 双向条件(等价) <->(当且仅当)
   逻辑数学关系,
   优先级遵循1-5顺序

双杠是结论，单杠是命题(双箭头等价表示关系并不能计算)


重言式(永真公式)
矛盾式(永假公式)

基本等价公式:

2.范式

这里,可以看做子句. 子句的析取既不构成析取范式,也不构成合取范式
例子:

如果为 简单析取,称为 大项,M表示.
小项用m表示

极大项的性质:

1 . 主析取范式
极大项是析取，极小项是合取
仅有小项的析取组成. 简单合取式也是

真值表法:



(1) 公式转换法


(2) 真值表法

2 . 自然推理系统