命题逻辑自然演绎系统.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)的形成过程是：p，q，(p∨q)，(?p)，((p∨q)∧(?p))，q ，(((p∨q)∧(?p))→q)。这个字符串是反复运用形成规则而形成的，因此它是合式公式。 合式公式的子公式 合式公式的子公式：在生成合式公式的过程中，每一步所生成的公式都是这一生成的合式公式的子公式。如： ?A的子公式是A和?A； A∧B 的子公式是A、B和A∧B； A∨B 的子公式是A、B和A∨B； A→B 的子公式是A、B和A→B。 如：p，q，（p∨q），(?p)，((p∨q)∧(?p))，(((p∨q)∧(?p))→q)都是(((p∨q)∧(?p))→q)的子公式。 主联结词：辖域最大的联结词。 (((p∨q)∧(?p))→q)的主联结词是→。 省略括号的约定： (1)公式最外层的括号可以省略。 (2)联结词的结合力依下列次序递减：?，∧，∨，→，?。 如：(((p∨q)∧(?p))→q)可简记为(p∨q)∧?p→q。 推演规则 （1）整推规则 （2）置换规则 （3）条件证明规则 （4）间接证明规则 整推规则 1.合取引入规则(记为∧+)： 从A和B推出A∧B； 2.合取消去规则(记为∧_): 从A∧B推出A；从A∧B推出B； 3.析取引入规则(记为∨+)： 从A推出A∨B；从B推出A∨B； 4.析取消去规则(记为∨_): 从A∨B和?A推出B；从A∨B和?B推出A； 5.肯定前件（记为MP) 从A→B和A推出B; 6.否定后件规则（记为MT); 从A→B和?B推出?A; 条件证明规则 5.蕴涵引入规则(记为→+)： 条件证明 如果从公式集Γ和A推出B，则从Γ推出A→B； 例1： ┐R→（H→T） R→H T→S ┐H ∴ H→S ⑴ ┐R→（H→T） 前提 ⑵ R→H 前提 ⑶ T→S 前提 ⑷ ┐H 前提 ⑸ ┐R ⑵⑷否后 ⑹ H→T ⑴⑸肯前 ⑺ H→S ⑶⑹假言三段论 例2：B→┐A B∧（C→D） A∨C ∴ D ⑴ B→┐A ⑴B→┐A 前提 ⑵ B∧（C→D） 前提