下载此文档

《数理逻辑》第26章第7节命题演算推理形式系统p（续）.pptx

文档分类：高等教育 | 页数：约26页举报非法文档有奖

1/26

下载提示

1.该资料是网友上传的，本站提供全文预览，预览什么样，下载就什么样。
2.下载该文档所得收入归上传者、原创者。
3.下载的文档，不会出现我们的网址水印。

同意并开始全文预览

(约 1-6 秒)

1/26 下载此文档

文档列表 文档介绍

26 §7P( )••2•3•1P•——P←α?N:P110 Γ∪{α}←β,Γ←α→β.:β1, β2,Γ∪{α}:···, βn(=β)→β1, α→β2, ···,:α→βn(=α→β),(1≤i≤n),α→βiΓα→—1i.(1)i = 1 , β1Γ∪{α}.,β1 ∈() β1, α→β1:β1→(α→β1) (A1)β1 ( )α→β1 (M)3—2()β1∈Γ ,().()β1 α , α→β1 α→→α←α→α,P,α→β1α→β1,—1(2)α→βi−1α→βi,:α →βi−1() ( βi() ( βi∈Γ )() ( βi α ))(1).()βi βj βk(1≤j, k<i) (M)βk βj→,α→βjα→βk(α→(βj→βi)α→βi.—2, α→βi−1.:.α→βi−1α→βi−1α→βi6—2, α→βi−1.:.α→→βi−1α→βi−1α→(βj→βi)α→βi6-a—2, α→βi−1.:.α→→βi−1α→βi−1α→(βj→βi)(α→(βj→βi))→((α→βj)→(α→βi)) (A2)(α→βj)→(α→βi) (M)α→βi (M).6-b11 Γ←α→β,Γ∪{α}←β.:Γα→β(.α→βαβ7)(M)

《数理逻辑》第26章第7节命题演算推理形式系统p（续）来自淘豆网m.daumloan.com转载请标明出处.