本节将采用逻辑推理方法讨论几个颇为有趣的问题

西安电子科技大学：《离散数学》课程教学课件（题解）第二章 谓词逻辑 2-6 谓词逻辑推理及应用

1.量词、谓词、个体词、命题符号化 2.合式公式、解释、永真式 3.一阶逻辑等值式 4.一阶逻辑推理规则

欧几里德在不加证明而直接采用基本概念和 公理的基础上, 运用逻辑推理方法得出了一系列 定理、推论, 从而建立了完整的欧几理德几何学， 这一辉煌的成果至今仍然是人类宝贵财富. 逻辑推理建模方法是一种重要的建模方法

博弈论是研究人们在各种战略情况下如何行事的理论,又被称为对策论或策略论,在近 来成为经济学研究的一大热点。但是对于博弈论中的逻辑推理却很少有人加以注意。 先以一个为大家所熟知的例子来引出博弈,即田忌赛马的故事。齐王请田忌赛马,田忌 的马队不如齐王的马队,田忌用孙膑的计谋用最差的马对齐王最好的马;用最好的马对齐 王中等的马,用中等 的马对齐王最差的马,结果以二比一胜了齐王