第七讲自然推理系统.pptVIP

第一页，共十三页，2022年，8月28日 一、形式系统 在数理逻辑中，我们把自然推理系统和公理推理系统统称为形式系统。 公理推理系统： 由公理 定理（重言式） 自然推理系统： 由假设 定理（规则即重言式） 第二页，共十三页，2022年，8月28日 一、形式系统 形式系统有两个要素：形式语言和推理部分。 ——形式语言：什么是讨论的对象 （1）初始符号 （2）形成规则 （3）定义 ——推理部分 （1）规则 （2）定理 第三页，共十三页，2022年，8月28日 一、形式系统 1、初始符号 （1） 命题变元p，q，r…… （2）命题联结词?，∧ ，∨ ， → ， （3）辅助符号（），（括号和逗号） 第四页，共十三页，2022年，8月28日 一、形式系统 2、形成规则 （1）命题变元是合式公式（原子公式）； （2）如果A是合式公式，那么﹁A是合式公式； （3）如果A和B是合式公式，那么A∧B，A∨B， A→B，A B是合式公式； （4）只有符合（1）-（3）的才是合式公式； 第五页，共十三页，20