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

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

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

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

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

工程力学的研究对象 研究物体机械运动(物体在空间的位置随时间的变化)规律以及构件强 度、刚度和稳定性等计算原理的科学。 工程力学的研究方法 从实践出发或通过实验观察,经过抽象化综合、归纳,建立公理或提出基本 假设,再用数学演绛和逻辑推理得到定理和结论,然后再通过实践来证实理论的 正确性

1 理解确界定理、区间套定理、 柯西收敛准则，有限覆盖定 理、聚点定理、致密性定理 、单调有界定理及其相互推 证、应用。 2 培养严密的逻辑推理能力

• 离散数学的性质、内容 • 学习此课的目的 • 学习此课的方法 • 命题的表示、命题的演算 • 命题演算中的公式，及其应用 • 命题逻辑推理

1.掌握自然界的基本规律 热力学第一定律：能量守恒 热力学第二定律：自然过程的方向 2.学习唯象的研究方法 以实验为基础的逻辑推理的研究方法 3.熵（S）的概念与“信息技术”密切相关 4.热能是重要的能源，也是维持生命的主要来源

本章是数理逻辑中的最基本内容， 是下一章的基础.本章主要讲述命 题与联结词、命题公式、恒真命 题、等价式、蕴涵式及范式等基 本内容；能将自然语言符号化； 能用等价式、蕴涵式等进行命题 演算和推理；能用逻辑推理的方 法解决一些实际问题