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

章

命题逻辑的自然演绎系统

自然演绎系统NP命题逻辑的自然演绎系统NP是由形式语言L′和一组推导（变形）规则构成的。其中形式语言L′包括初始符号、形成规则和定义。构建命题逻辑的形式系统，可以采用公理化方法，也可采用自然演绎的方法。为接近人们日常思维的实践，采用自然演绎的方法来构建命题逻辑的一个形式系统NP。6/21/20242

初始符号(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)∨)，…按照形成规则形成的符号串称为合式公式。6/21/20243

形成规则(1)任何单个的命题变元p是合式公式；(2)如果A是合式公式，则(?A)是合式公式；(3)如果A和B是合式公式，则(A∧B)、(A∨B)、(A→B)是合式公式；只有（1）----到（3）形成的符号串是合式公式。6/21/20244

定义定义是用来表示缩写的，定义两边的符号串可以相互代替。如：(A?B)=df(A→B)∧(B→A)。形式语言L′的全体合式公式记为Form(L′)。形式语言L′是我们研究对象，叫对象语言。讨论对象语言的语言叫元语言或语法语言。6/21/20245

形成规则的作用（1）以递归的方式定义合式公式。（2）提供一种能行、可判定的方法判定任一符号串是不是合式公式。（3）检验合式公式的性质。如:(((p∨q)∧(?p))→q)的形成过程是：p，q，(p∨q)，(?p)，((p∨q)∧(?p))，q，(((p∨q)∧(?p))→q)。这个字符串是反复运用形成规则而形成的，因此它是合式公式。6/21/20246

合式公式的子公式合式公式的子公式：在生成合式公式的过程中，每一步所生成的公式都是这一生成的合式公式的子公式。如：?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。6/21/20247

推演规则（1）整推规则（2）置换规则（3）条件证明规则（4）间接证明规则6/21/20248

整推规则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;6/21/20249

条件证明规则5.蕴涵引入规则(记为→+)：条件证明如果从公式集Γ和A推出B，则从Γ推出A→B；6/21/202410

例1：┐R→（H→T）R→HT→S┐H∴H→S⑴┐R→（H→T）前提⑵R→H前提⑶T→S前提⑷┐H前提⑸┐R⑵⑷否后⑹H→T⑴⑸肯前⑺H→S⑶⑹假言三段论6/21/202411

例2：B→┐AB∧（C→D）A∨C