命题演算系统.pptxVIP

命题演算系统 命题演算系统Lp 命题演算系统通常记为:P,分为公理演算系统和自然演绎推理系统,她们都就是用形式语言构造出来得。所谓公理演算系统,指得就是由一些基本命题(即公理)和推导规则以及由此推出得一些命题(即定理)而形成得演绎系统。所谓自然演绎系统,指得就是没有公理只依赖推导规则推出一些命题(即定理)而形成得演绎系统。 命题演算系统Lp 形式化得公理系统又称为形式系统。一个形式系统主要由形式语言、初始公式、变形规则以及由她们得到得公式四部分组成。下面具体介绍命题演算系统。 命题演算系统Lp 初始符号 1、命题变元:p,q,r,……; 2、命题联接词: ∧,∨,→,,﹁; 3、辅助符号:(,)。 形成规则 1、任何命题变元就是合式公式; 2、如果A就是合式公式,则(﹁A)就是合式公式; 3、如果A、B就是合式公式,则(A ∧ B)、(A ∨ B)、(A → B)、(A  B)就是合式公式; 4、只有按照1、2、3得规定形成得符号串才就是合式公式。 命题演算系统Lp 下面给出初始公式(即公理演算系统得公理)和初始规则: 初始公式 AP1 A→(B → A) AP2 (A → (B → C)) → ((A → B) → (A → C)) AP3 (﹁A → B)(( ﹁ A → ﹁B) → A) 初始规则(又叫变形规则) MP 分离规则 若├ A → B且├A,则├B。 SB 代入规则 若 ├A,则├ A(p1/B1,p2/B2,…,pn/Bn) 其中,A(p1/B1,p2/B2,…,pn/Bn)表示将A中得命题变元p1,p2,…,pn(如果有得话)处处分别换成B1, B2,…,Bn。这就就是代入规则,运用代入规则时请注意,一定就是处处代入。 命题演算系统Lp 一个使用形式语言得形式系统,通过初始公式和初始规则得到得公式就就是这个系统得定理。一个形式系统得任务也就就是证明这些定理得成立。下面给出系统中得一些定义。 命题演算系统Lp 定义3(证明得定义) LP中得证明就是一个合式公式得有限序列:A1,A2,…An,且满足以下条件:对每一个Ai(1in)要么就是公理,要么就是由前面得公式根据变形规则得到得。 定义4(A证明得定义)如果一个证明A1,A2,…An中得An=A,我们就称这个证明叫做关于A得证明,也就就是A证明。 定义5(定理得定义) 如果有一个A证明,则称A就是这个系统得定理。记作:├LP A。 定理1 ├ A→A 证明: (1) A → (B → A) AP1 (2) A → ((A → A ) → A) (1)SB (3)(A → (B → C)) → ((A → B) → (A → C)) AP2 (4)A → ((A → A ) → A) → ((A → (A → A)) → (A → A)) (3)SB (5)(A → (A → A)) → (A → A) (2)(4)MP (6)A → (A → A) (1)SB (7)A → A (5)(6)MP 命题演算系统Lp 定义6(推演得定义) 如果A1,A2,…An就是一个满足如下条件得公式序列,则称她就是以Γ为前提得推演。 条件: 任一Ai(1≤i ≤ n)就是Γ中得元素,或者 就是公理,或者 就是由前面得公式根据变形规则得到得。 定义7 从Γ到A得推演:如果A1,A2,…An就是Γ以为前提得推演,并且An=A,我们就称她就是从Γ到A得推演,或者说A就是从Γ出发得到得推论,记作: Γ ├A。 如果Γ ={B},可以记作:B├A;如果Γ ={B,C},可以记作:B,C├A;如果Γ =Ø,就记作:├A。从Ø出发推出A,A就就是一个定理。 演绎定理得证明见教材。 演绎定理:如果Γ ∪{A}├ B,则Γ ├ A→B。 演绎定理得证明需要数学归纳法,数学归纳法就是证明无穷个命题成立得方法,她由两部分组成,分别就是归纳基础和归纳步骤。归纳法可以分为两类: 第一类归纳法:有一批编了号码得命题 (1)我们能证明第1号命题就是