第四章命题逻辑的自然演绎系统.pptVIP

第四章 命题逻辑的自然演绎系统 自然演绎系统NP 命题逻辑的自然演绎系统NP是由形式语言L ′和一组推导（变形）规则构成的。其中形式语言L ′包括初始符号、形成规则和定义。 初始符号 (1)甲类符号：p1, p2, p3, …； (2)乙类符号：?，∧，∨，→； (3)丙类符号：(，)。 这些符号构成的有穷长的序列叫做符号串，例如: ?p, p∧q，p∨q, p→q； (p∧q)→r，p∧(q→r)，…； ((p→∨q→pq)，(((p→q∧r)∨)，… 按照形成规则形成的符号串称为合式公式。 形成规则 (1)任何单个的命题变元p是合式公式； (2)如果A是合式公式，则(?A)是合式公式； (3)如果A和B是合式公式，则(A∧B)、(A∨B)、(A→B)是合式公式； 只有（1）----到（3）形成的符号串是合式公式。 定义 定义是用来表示缩写的，定义两边的符号串可以相互代替。 如：(A?B)=df(A→B)∧(B→A)。 形式语言L ′的全体合式公式记为Form(L ′)。 形式语言L ′是我们研究对象，叫对象语言。 讨论对象语言的语言叫元语言或语法语言。 形成规则的作用 （1）以递归的方式定义合式公式。 （2）提供一种能行、可判定的方法判定任一符号串是不是合式公式。 （3）检验合式公式的性质。 如:(((p∨q)∧(?p))→q)的形成过程