离散数学教学课件（长安大学）getresource-4.pptVIP

内容回顾 推理的形式结构 推理的正确与错误 推理的形式结构 判断推理正确的方法 推理定律 自然推理系统P 自然推理系统P 在P中构造证明:直接证明法、附加前提证明法、归谬法 引 入 一个简单的推理： “凡偶数都能被2整除。6是偶数。所以，6能被2整除。” 根据定义，前提为真，结论为真，推理正确。 在命题逻辑中，将推理中出现的三个简单命题符号化 p q r 推理的形式结构表示为 （p?q)→r （不是重言式） 所以，不能根据定理3.1判断推理正确，也无法证明它正确。问题出在命题中的 “凡”上，符号p不能很好的描述它的本意。命题p和r应该有内在联系，但是命题逻辑无法把这种关系表达出来，只能表示为两个无关的简单命题。 命题逻辑存在局限性。故而研究一阶逻辑，也叫谓词逻辑。 第四章 一阶逻辑基本概念 主要内容 一阶逻辑命题符号化 个体词、谓词、量词 一阶逻辑命题符号化 一阶逻辑公式及其解释 一阶语言 合式公式 合式公式的解释 永真式、矛盾式、可满足式 4.1 一阶逻辑命题符号化 在命题逻辑中, 演算推