第三课形式命题逻辑系统.pptVIP

第三章 形式的命题逻辑系统 本章重点： 形式系统 命题语言 命题逻辑的公理系统PC 公理系统PC中内定理的证明 第一节 形式系统 3.1.1 公理系统 定义：从一些被当作公理的命题（或公式）出发，根据演绎法，推出一系列定理的演绎体系叫做公理系统。 3.1.2 命题演算 定义：命题演算是一个完全形式化的、关于命题逻辑的公理化系统。 第一节 形式系统 3.1.3 形式系统 一个形式系统通常由四部分构成： （1）各种初始符号； 系统的语言部分(形式语言) （2）合适公式的形成规则； （3）公理； 系统演绎的基础(演绎工具) （4）推理规则。 3.2 命题逻辑（演算）系统PC 3.2 命题逻辑（演算）系统PC 3.2.1 命题语言的字母表(初始符号) （1）命题变元符号： p,q,r,s,t,p1,q1,r1,s1,t1,p2,… （2）逻辑常项符号：T,F,?,?。 （3）辅助符号：(,)。 形式语言L0可以由无穷多个符号组成，即L0＝{T,F,?,?, (,), p,q,r,s,t,p1 ,…} 3.2 命题逻辑（演算）系统PC 3.2.2 命题语言的形成规则 （1）任意的命题变元和逻辑常项T,F是合式公式。 （2）如果A,B是合式公式，那么?A和A?B也是合