7.1 幂级数型生成函数（多重集的组合） 7.2 指数型生成函数（多重集的排列） 7.3 递推关系

第一节 致伤物推断和认 第二节 损伤时间推 第三节 机械性损伤的死

问题1：如何基于命题逻辑进行推理？ 问题2：什么是(一阶)谓词逻辑？ 问题3：如何基于谓词逻辑进行推理？

第一节 联言判断及其推理 第二节 选言判断及其推理 第三节 假言判断及其推理 第四节 负判断及其推理 第五节 其他常用的复合判断推理

5.1 一阶逻辑等值式与置换规则 5.2 一阶逻辑前束范式 5.3 一阶逻辑的推理理论

5．1 否定型等值式 5．2 量词分配等值式 5．3 范式 5．4 基本的推理公式 5．5．1 推理规则 5．5．2 使用推理规则的推理演算举例 5．6 谓词逻辑的归结推理法

第一节 模态逻辑概述 第二节 模态命题及其推理 第三节 道义命题及其推理

一、总需求曲线的推导 1.凯恩斯效应:货币余额的间接 2.凯恩斯总需求曲线的推导: 3.总需求曲线的移动:

《逻辑学》课程PPT：第五章 性质命题及其推理、第六章 关系命题及其推理

一、教学目标和教学内容 1．教学目标 掌握梁纯弯曲时横截面上正应力计算公式的推导过程，理解推导中所作的基本假设