命题逻辑的推理理论,证明方法演示课件.pptVIP

⑨ p 前提引入 ⑩ ?pùp ⑧⑨合取 推理正确, ?q是有效结论 应用实例1 分析下列事实“如果我有很高的收入，那么我就能资助许多贫困学生；如果我能资助许多贫困学生，那么我很高兴；但我不高兴，所以我没有很高的收入。”试指明前提和结论，并给予证明。 课堂实训 应用实例2 将下列条件作为前提，验证所得结论是否有效： 明天或是天晴，或是下雨； 如果是天晴，我去公园； 如果我去公园，我就不看书。 结论：如果我在看书，则天下雨。 三、公理系统 1、公理系统的组成 （1）初始符号：它们是不经定义而直接使用的符号； （2）形成规则：确定定义在初始符号上的哪些符号串是合式公式； （3）公理集：它们是不经证明而直接认为是恒真的命题； （4）推理规则：规定如何从公理和前面已推导出的合式公式经过符号变形而推出其它公式。 2、公理系统L 公理系统L的定义： 1、初始符号： 2、形成规则： 3、公理集： 4、推理规则：假言推理规则（MP规则）。 ├L [证] L2 L1 (1)、(2)，MP L1 (1)、(2)，MP L1 (3)、(4)，MP L2 例9 证明 L2 L1 MP规则 [证] ├L 例10 证明 3、演绎定理 例11 证明 [证] 假设 L2 (1)、(2)，MP L1 假设 (4