北大离散数学cha2.pptVIP

第二章 一阶逻辑 ;内容： ;一、一阶逻辑(谓词逻辑)研究的内容。;二、个体词，谓词，量词。 ;个体域(或称论域)——个体变项取值的范围。 ;：小王， ;例如：李华是大学生， ;2、量词——表示数量的词。 ;2、量词——表示数量的词。 ;2、量词——表示数量的词。 ;2、量词——表示数量的词。 ;三、命题符号化。 ;三、命题符号化。 ;例2、在一阶逻辑中将下列命题符号化。 ;例2、在一阶逻辑中将下列命题符号化。 ;例2、在一阶逻辑中将下列命题符号化。 ;例2、在一阶逻辑中将下列命题符号化。 ;例2、在一阶逻辑中将下列命题符号化。 ;第二节 一阶逻辑合式公式及解释 ;内容： ;一般： ;一、一阶逻辑中的合式公式。 ;一、一阶逻辑中的合式公式。 ;2、项的递归定义。 ;3、原子公式。 ;3、原子公式。 ;5、约束出现，自由出现。 ;例1、指出下列各合式公式中的指导变项， ;闭式(封闭的合式公式) —— ;二、合式公式的解释。 ;二、合式公式的解释。 ;1) 个体域为自然数集合 ;真值为1 ;真值为1 ;真值为0 ;真值为不确定(不是命题);2、逻辑有效式(永真式)，矛盾式(永假式)，;有一些公式，可以利用命题公式的结论。 ;例如： ;例3、判断下列公式中哪些是逻辑有效式，;由以上，原公式是逻辑有效的。 ;例3、判断下列公式中哪些是逻辑有效式，;例3、判断下列公式中哪些是逻辑有效式，;例3、判断下列公式中哪些是逻辑有效式，;第三节 一阶逻辑等值式 ;内容： ;一、一阶逻辑等值式。 ;1、量词否定等值式。 ;1、量词否定等值式。 ;3、量词分配等值式。 ;3、量词分配等值式。 ;4、多个量词间的次序排列等值式。 ;4、多个量词间的次序排列等值式。 ;例2、求下列公式的前束范式。 ;例2、求下列公式的前束范式。 ;第四节 一阶逻辑推理理论 ;内容： ;一、一阶逻辑推理的概念。 ;2、量词分配定律。 ;二、推理规则。 ;二、推理规则。 ;二、推理规则。 ;二、推理规则。 ;例1、证明：苏格拉底三段论： ;例1、证明：苏格拉底三段论： ;例2、构造下面定理的证明： ;例2、构造下面定理的证明： ;第二章 小结与例题 ;一、一阶逻辑的基本概念。 ;二、一阶逻辑合式公式及解释。 ;三、一阶逻辑等值式。 ;???、一阶逻辑等值式。 ;例1、在一阶逻辑中将下列命题符号化。 ;例1、在一阶逻辑中将下列命题符号化。 ;例1、在一阶逻辑中将下列命题符号化。 ;例2、将下列命题译成自然语言，并确定其真值。 ;例2、将下列命题译成自然语言，并确定其真值。 ;例3、指出下列量词的辖域，并指出各式中 ;例3、指出下列量词的辖域，并指出各式中 ;(1);例4、 设个体域为将下面谓词公式中的量词消除，;例4、 设个体域为将下面谓词公式中的量词消除，;例5、构造下面推理的证明;前提