北大离散f数学chap2.pptVIP

例1、证明：苏格拉底三段论： “凡人都是要死的， 苏格拉底是人， 所以苏格拉底是要死的。” ：苏格拉底。 解：设 ： 是人， ： 是要死的， 例1、证明：苏格拉底三段论： 前提： 结论： 证明： ① 前提引入 ② ① ③ 前提引入 ④ ②③假言推理 例2、构造下面定理的证明： 前提： 结论： 证明： ① 前提引入 ② ①置换 ③ ②置换 ④ ③ 例2、构造下面定理的证明： 前提： 结论： 证明： 前提引入 ⑤ ⑥ ⑤ ⑦ ⑥④假言三段论 ⑧ ⑦ 第二章 小结与例题 一、一阶逻辑的基本概念。 1、基本概念。 个体，个体域，个体词，个体常项和变项； 谓词；量词，全称量词和存在量词。 2、应用。 在一阶逻辑中将命题符号化。 二、一阶逻辑合式公式及解释。 1、基本概念。 合式公式；辖域，约束变项，自由变项； 闭式；解释；代换实例；逻辑有效式， 矛盾式，可满足式。 2、应用。 (1) 求某些公式在给定解释下的真值。 (2) 判断某些简单公式的类型。 三、一阶逻辑等值式。 基本概念。 等值式，常用等值式；前束范式。 四、一阶逻辑推理理论。 1、基本概念。 推理；全称量词消去规则 全称量词引入规则 存在量词引入规则 ， ，存在量词消去规则 。 ， 三、一阶逻辑等值式。 基本概念。 等值式，常用等值式；前束范式。 四、一阶逻辑推理理论。 2、应用。 用构造法证明某些简单的推理。 例1、在一阶逻辑中将下列命题符号化。 (1) 每一个有理数都是实数。 (2) 并非每一个实数都是有理数。 解： 是实数， ： 是有理数， ： 解： 是有理数， ： 是实数， ： 例1、在一阶逻辑中将下列命题符号化。 (3) 会叫的狗未必会咬人。 ： 解： 是会咬人的狗， 是会叫的狗， ： (或 ) 例1、在一阶逻辑中将下列命题符号化。 (4) 任何金属均可溶解于某种液体中。 ： 解： ： 是液体， ： 是金属， ， 溶解 例2、将下列命题译成自然语言，并确定其真值。 (个体域为 ) 真值0。 真值0。 (1) ，其中 解：对任意正整数 使得 ， ，存在正整数 。 (2) ，其中 解：存在正整数 满足 ， ，使得对任意的正整数 。 例2、将下列命题译成自然语言，并确定其真值。 (个体域为 ) 真值0。 真值1。 (3) ，其中 解：对任意正整数 使得 ， ，存在正整数 。 (4) ，其中 解：对任意正整数 使得 ， ，存在正整数 。 例3、指出下列量词的辖域，并指出各式中 的自由变元和约束变元。 (1) 解： 中的 ， 的辖域为 是约束变元； 的辖域为 中的 ， 是约束变元； 中的 是自由变元。 例3、指出下列量词的辖域，并指出各式中 的自由变元和约束变元。 (2) 解： 中的 中的 ， 的辖域为 是约束变元， 是自由变元； 中的 的辖域是 ， 是约束变元； 中的 都是自由变元。 (1) 解 量词消除，写出与之等值的命题公式。 例4、 设个体域为 将下面谓词公式中的 例4、 设个体域为将下面谓词公式中的量词消除， 写出与之等值的命题公式。 （2） 解 例4、 设个体域为将下面谓词公式中的量词消除， 写出与之等值的命题公式。 （3） 解 例5、构造下面推理的证明 前提 结论 证明： ② ① ③ 前提引入 ④ ③ 前提引入 ① 前提 结论 ④ ③ ⑤ ②④拒取式 ⑥ ⑤ 1) 个体域为自然数集合 (1) 真值为0 例2、给定解释 如下： 2) 中特定元素 3) 上特定函数 4) 为 上特定谓词 下，下面哪些公式为真？哪些公式为假？ 在解释 解：在解释 下，公式化为： 真值为1 (2) 1) 个体域为自然数集合 例2、给定解释 如下： 3) 上特定函数 4) 为 上特定谓词 下，下面哪些公式为真？哪些公式为假？ 在解释 解：在解释 下，公式化为： 2) 中特定元素 真值为1 (3) 解：在解释 下，公式化为： 1) 个体域为自然数集合 例2、给定解释 如下： 3) 上特定函数 4) 为 上特定谓词 下，下面哪些公式为真？哪些公式为假？ 在解释 2) 中特定元素 真值为0 (4) 2) 中特定元素 1) 个体域为自然数集合 3) 上特定函数 例2、给定解释 如下： 4) 为 上特定谓词 在解释 下，下面哪些公式为真？哪些公式为假？ 解：在解释 下，公式化为： 真值为不确定(不是命题) (5) 2) 中特定元素 1) 个体域为自然数集合 3) 上特定函数 例2、给定解释 如下： 4) 为 上特定谓词 在解释