第四章 一阶逻辑基本概念.pptVIP

第四章 一阶逻辑基本概念 上一节的复习自然推理系统 P 定义3.3 自然推理系统P定义如下： 1．字母表????（1） 命题变项符号：p，q，r，…,pi，qi，ri，… ????（2） 联结词符号：┐,∧,∨,→, ? ????（3） 括号和逗号：( , )，， 2．合式公式 同定义1.6 上一节的复习（续）自然推理系统 P（续） 3．推理规则 （1） 前提引入规则：在证明的任何步骤上都可以引入前提。 ?（2） 结论引入规则：在证明的任何步骤上所得到的结论都可以作为后继证明的前提。 ?（3） 置换规则：在证明的任何步骤上，命题公式中的子公式都可以用与之等值的公式置换，得到公式序列中的又一个公式。 （4） 几条重要的推理规则 上一节的复习（续）（练习） 默写下列的“置换规则”和“推理规则” (1) 德摩根律 (2) 吸收律 (3) 蕴涵等值式 (4) 归谬论 (5) 假言推理规则 (6) 附加规则 (7) 化简规则 (8) 拒取式规则 (11) 假言三段论 (12) 析取三段论规则 (13) 合取引入规则 在P中构造下面推理的证明 如果小张守第一垒并且小李向B队投球，则A队将取胜；或者A队未取胜，或者A队获得联赛第一名；A队