命题逻辑
语法规则
P : : = T ∣ ⊥ ∣ x ∣ P ∧ P ∣ P ∨ P ∣ P → P ∣ ¬ P P::= T|⊥| x | P ∧P | P ∨ P | P → P | ¬ P P::=T∣⊥∣x∣P∧P∣P∨P∣P→P∣¬P
用符号P代表任意逻辑命题，它由几种不同语法形式组成:符号T和⊥分别代表两个逻辑常量“真和“假”；小写符号x代表一个原子命题变量;这三种语法形式都是基本的，因此可称它们为原子命题。
还可以通过连接词连接子命题，而构成复合命题；具体的有四种联接词:合取∧、析取∨、蕴含→和否定¬，其中前三个算符是二元的，最后一个算符是一元的。
自然演绎系统
环境
环境 Г 是由n(n >=0)个命题构成的命题列表：
Γ = P 1 , . . . , P n \varGamma = P_1,\ ...\ ,P_n Γ=P1, ... ,Pn
特别的，若n = 0，则称 Г 为空环境。
断言
断言是由环境 Г 和命题P构成的元组：
Γ ├ P \varGamma \ ├ \ P Γ ├ P
证明规则
证明规则是形如：
Γ 1 ├ P 1 . . . Γ n ├ P n Γ ├ P ( R u l e − N a m e ) \frac{\varGamma_1├ \ P_1 \ ...\ \varGamma_n├\ P_n }{\varGamma \ ├ \ P} \quad\quad\quad\quad\quad(Rule-Name) Γ ├ PΓ1├ P1 ... Γn├ Pn(Rule−Name)
的一条公式，其中n >= 0。
证明规则由三部分组成：
第一部分是横向上方的n个断言：也被成为是规则的n个前提
Γ i ├ P i , 1 ≤ i ≤ n \varGamma_i\ ├ \ P_i\ ,\quad 1≤i≤n Γi ├ Pi ,1≤i≤n
第二部分是横线下方唯一的断言：也被成为是规则的结论
Γ ├ P \varGamma \ ├ \ P Γ ├ P
第三部分是横线右侧的规则的名字 Rule-Name，它唯一地标识了这条规则
十四条规则
1、单个命题
Γ ， P ├ P ( V a r ) \frac{}{\varGamma，P \ ├ \ P} \quad\quad\quad\quad\quad(Var) Γ，P ├ P(Var)
规则Var是一条公理，表示若命题P在环境中出现，现任可推出P成立。
2、真 T – 引入
Γ ├ T (
最低0.47元/天 解锁文章
扫一扫
1531
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
