第四章 命题逻辑的自然演绎系统自然演绎系统自然演绎系统NP命题逻辑的自然演绎系统NP是由形式形式语语言言L L 和一组推导（变形）规则构成的。其中形式语言L L 包括初始符号、形成规则和定义。12/28/20222初始符号初始符号(1)甲类符号：p1,p2,p3,；(2)乙类符号：，；(3)丙类符号：(，)。这些符号构成的有穷长的序列叫做符号串，例如:p,pq，pq,pq；(pq)r，p(qr)，；(pqpq)，(pqr)，按照形成规则形成的符号串称为合式公式。12/28/20223形成规则形成规则(1)任何单个的命题变元p是合式公式；(2)如果A是合式公式，则(A)是合式公式；(3)如果A和B是合式公式，则(AB)、(AB)、(AB)是合式公式；只有（1）-到（3）形成的符号串是合式公式。12/28/20224定义定义定定义义是用来表示是用来表示缩缩写的，定写的，定义义两两边边的符号串可以相的符号串可以相互代替。互代替。如：(AB)=df(AB)(BA)。形式语言L L 的全体合式公式记为Form(L L )。形式语言L L 是我们研究对象，叫对象语言。讨论对象语言的语言叫元语言或
