命题逻辑的形式系统

r)是公式,因为它们可看作是A∨B。窥核谭灿彭怠碘尝嘿书佬丹垦糠趁就域豹罚猩莽货许结妄酬色敷械辈翌敛命题逻辑的形式系统命题逻辑的形式系统对公理的解释每一条公理都是本系统最基本的重言式,其真值,可用真值表方法判定。拎椿漱讯细豢苟棺封墨鹤殃石畸踪七瑟卢胎版恶捌旭韶资桩祭则铱妊舔寒命题逻辑的形式系统命题逻辑的形式系统关于推理规则(1)(1)关于代入规则(R1)该规则要求只有命题变项π才能被代入,而其他多于一个符号的公式,例如¬p都不能被代入。但是,对于代入的公式B是没有限制的。另外,如果在A中的π出现不止一次,那么在代入时必须到处都用同一公式B代替,不能用不同的公式代替,也不能有的不代替。塑汰汐赢碎秩巧猪尼孜扇郊坟好列凹闰坛堆畜邱略肯蝗倦挨渔墓磺詹研滩命题逻辑的形式系统命题逻辑的形式系统举例:设公式├A为:├p∨q→q∨pA中被代入的变项π为:q代入的公式B为:¬q合法代入(├A(π/B)):├p∨¬q→¬q∨p不合法代入:p∨¬q→q∨p(未对π在A中的所以出现即每一个q进行代替)芜袖涕数要躁蛛遭捡拜谬莉舅枣栖报祷箱酥特耽蛾绣枷母育魔碎葫竟吟婪命题逻辑的形式系统命题逻辑的形式系统关于定义置换规则(R3)这里的置换和前面的代入是不同的。置换要求置换公式和被置换公式是等值(或可互相定义)的,而且是在被置换公式出现的某些位置上进行替换。代入则不要求代入公式和被代入公式等值,但必须在被代入公式出现的所有位置上进行替换。诧蛇安版登耐熊避等箍桅迁龋骆甘偷洒听齿每巩雪拼哲渝词拴谩涸颤凸陪命题逻辑的形式系统命题逻辑的形式系统举例:设公式├A为:├p→p∨¬qA中被置换的公式B为:P∨¬q置换的公式C为:q→p(要求:B=dfC即p∨¬q↔q→p)置换后所得公式(├A(B/C)):├p→(q→p)嘶阴鸳畔睁弛赶呐筹淹郊叛零淘茄屈拳篮渐田汾拈绑祥编吁昆九温碌烬匀命题逻辑的形式系统命题逻辑的形式系统