计算机离散数学逻辑应用手册.docxVIP

计算机离散数学逻辑应用手册

1.第1章基本逻辑概念与命题演算

1.1命题与命题逻辑

1.2命题连接词与逻辑运算

1.3命题的真值表与逻辑等价

1.4命题逻辑的推理规则

2.第2章命题逻辑的证明与推理

2.1证明的基本方法

2.2命题逻辑的归谬法

2.3命题逻辑的归纳法

2.4命题逻辑的证明步骤

3.第3章逻辑表达式与化简

3.1逻辑表达式的表示方法

3.2逻辑表达式的化简方法

3.3逻辑表达式的等价转换

3.4逻辑表达式的化简实例

4.第4章逻辑函数与布尔代数

4.1逻辑函数的表示方法

4.2布尔代数的基本运算

4.3布尔代数的运算规则

4.4逻辑函数的化简与优化

5.第5章命题逻辑与谓词逻辑

5.1谓词逻辑的基本概念

5.2谓词逻辑的量化词

5.3谓词逻辑的推理规则

5.4谓词逻辑的证明方法

6.第6章逻辑表达式的求解与应用

6.1逻辑表达式的求解方法

6.2逻辑表达式的求解实例

6.3逻辑表达式在计算机中的应用

6.4逻辑表达式的优化与简化

7.