天天看点
返回

离散数学学习笔记——第五讲——谓词逻辑（第二部分）（3.10 谓词综合推理）

1. 谓词的演绎推理

离散数学学习笔记——第五讲——谓词逻辑（第二部分）（3.10 谓词综合推理）

2. 谓词演绎举例一：苏格拉底三段论

离散数学学习笔记——第五讲——谓词逻辑（第二部分）（3.10 谓词综合推理）

3. 谓词演绎举例二：三步走策略

离散数学学习笔记——第五讲——谓词逻辑（第二部分）（3.10 谓词综合推理）
离散数学学习笔记——第五讲——谓词逻辑（第二部分）（3.10 谓词综合推理）

4. 谓词的推理难点

离散数学学习笔记——第五讲——谓词逻辑（第二部分）（3.10 谓词综合推理）

5. 谓词演绎举例三：CP规则证明法

离散数学学习笔记——第五讲——谓词逻辑（第二部分）（3.10 谓词综合推理）

6. 谓词演绎举例四：反证法

离散数学学习笔记——第五讲——谓词逻辑（第二部分）（3.10 谓词综合推理）

7. 谓词逻辑推理的应用

离散数学学习笔记——第五讲——谓词逻辑（第二部分）（3.10 谓词综合推理）

8. 正确推导过程

离散数学学习笔记——第五讲——谓词逻辑（第二部分）（3.10 谓词综合推理）
数学（高数、线代、概率论） Foundation
上一篇: 离散数学学习笔记——第二讲——命题逻辑（第二部分）（2.8主范式）
下一篇: 离散数学学习笔记——第七讲——特殊关系和函数（5.5 其他次序关系）

继续阅读