数理逻辑课件 第5节 一阶逻辑基本概念.pptVIP

*/29 公式的类型 定理1 闭式在任何解释下都是命题. 注意: 不是闭式的公式在解释下可能是命题, 也可能 不是命题. 定义8 若公式A在任何解释下均为真, 则称A为永真 式(逻辑有效式). 若A在任何解释下均为假, 则称A为矛盾式(永假式). 若至少有一个解释使A为真, 则称A为可满足式. 说明： (1)永真式为可满足式，但反之不真. (2)判断公式是否是可满足的(永真式, 矛盾式)是不可判定的，即不存在一个算法能够在有限步内判断任意给定的公式是可满足的(永真式, 矛盾式). */29 代换实例 定义9 设A0是含命题变项 p1, p2, …, pn的命题公式，A1, A2, …, An是n个谓词公式，用Ai (1?i?n) 处处代替A0中的pi，所得公式A称为A0的代换实例. 例如: F(x)?G(x), ?xF(x)??yG(y)等都是p?q的代换实例. 定理2 重言式的代换实例都是永真式，矛盾式的代换实例都是矛盾式. * * */29 我们需要更丰富的语言 例如：三段论中的逻辑推理有 p：所有的科学是有用的； 前提 q：数理逻辑是科学； 前提 r： 所以数理逻辑是有用的。 结论 推理是正确的，对应的命题逻辑公式 p∧q →r 不是重言式 命题公式也无