第三章：命题逻辑推理理论.ppt

3.1 推理形式结构 何为推理？何为证明？ 例子： （1）若A?B且C?D，则A?C?B?D （2）若今天是星期一，则明天是星期二 （3）若A?C?B?D，则A?B且C?D 推理 —— 从前提出发推出结论的思维过程 上例中，（1），（2）是正确的推理，而（3）是错误的推理 证明 —— 描述推理正确或错误的过程 3.1 推理形式结构 推理定律 推理定律——重言蕴涵式 重要的推理定律： A ? (A?B) 附加律 (A?B) ? A 化简律 例1： 如果谁骄傲自满，那么他就要落后；小张骄傲自满， 所以，小张必定要落后 (A?B)?A ? B 假言推理 例2： 如果谁得了肺炎，他就一定要发烧；小李没发烧， 所以，小李没患肺炎 (A?B)??B ? ?A 拒取式 3.1 推理形式结构 例3： 如果降落的物体不受外力的影响，那么，它不 会改变降落的方向；这个物体受到了外