一、命题的定义
命题:具有确切真值的陈述句称为命题。命题可以取一个值,称为针织。真值只有"真"(表示为T或1)、"假"(表示为F或0)两种
原子命题(简单命题):不能再分解为更简单命题的命题
复合命题:可以分解为简单命题的命题。这些简单命题之间通过“或者”、“并且”等关联词和标点符号复合而成。
二、联结词
¬(否定):复合命题“非P”(P的否定)称为P的否定式,记为¬P
∧(合取):复合命题“P并且Q”(P和Q)称为P与Q的合取,记为P∧Q
∨(析取):复合命题“P或Q”称为P与Q的析取式,记为P∨Q
⊕(异或):析取的两个命题PQ,无法同时为真
→(蕴涵):P→Q表示“如果P,则Q”称为P与Q的蕴涵式,P为前件,Q为后件
↔(等价):复合命题“P当且仅当Q”称为P与Q的等价式,记为P↔Q
联结词的计算顺序:否定、合取、析取、蕴含、等价
三、命题公式
常值命题:一个特定的命题是一个常值命题,它不是具有值T就是具有值F
命题变元:一个任意的没有赋予具体内容的原子命题是一个变量命题,称为命题变量或命题变元。该命题变量无具体的针织,它的变域是集合{T,F}
合式公式(命题公式、公式):由有限个联结词连接有限个命题变元得到的符号串
原子命题变元是最简单的合式公式,也叫原子合式公式,简称原子公式
解释:P1、P2……Pn是出现在公式G中的所有命题变元,指定P1、P2……Pn一组真值,这组真值称为G的一个解释,记为I
如果G在解释I下是真的,称I满足G,I是G的成真赋值;否则,称I弄假于G,I是G的成假赋值
永真公式(重言式):在所有解释下其真值都为T
永假公式(不可满足公式、矛盾式):在所有解释下其真值都为F
可满足公式:不是永假的
等价:G、H两个公式,对于所有的解释,真值结果相同。
四、集合的运算定律
定律 | 内容 |
幂等律 | G∨G=G G∧G=G |
交换律 | G∨H=H∨G G∧H=H∧G |
结合律 | G∨H∨S=G∨(H∨S) G∧H∧S=G∧(H∧S) |
同一律 | G∨0=G G∧1=G |
零律 | G∧0=0 G∨1=1 |
分配律 | G∨(H∧S)=(G∨H)∧(G∨S) G∧(H∨S)=(G∧H)∨(G∧S) |
吸收率 | G∨(G∧H)=G G∧(G∨H)=G |
矛盾律 | G∧¬G=0 |
排中律 | G∨¬G=1 |
双重否定律 | ¬¬G=G |
德摩根率 | ¬(G∨H)=¬G∧¬H ¬(G∧H)=¬G∨¬H |
蕴涵式 | G→H=¬G∨H |
假言易位 | G→H=¬H→¬G |
等价式 | G↔H=(H→G)∧(G→H)=(¬H∨G)∧(¬G∨H) |
等价否定式 | G↔H=G↔¬H |
归谬论 | (G→H)∧(G→¬H)=¬G |
五、范式
文字:范式的最小组成部分,命题变元或命题变元的否定
子句(简单析取式):有限个文字的析取
短句(简单合取式):有限个文字的合取
互补对 :G和¬G为互补对
析取范式:有限个简单合取式的析取式
合取范式:有限个简单析取式的合取式
主范式
每个命题变元与其否定不同时存在但二者之一恰好出现一次且仅一次,并且出现的次序与P1、P2……Pn一直,曾为关于P1、P2……Pn的极小项(合取)或极大项(析取)
主析取范式:析取范式的每个短语都是极小项,且按编码从小到大排序
主合取范式:合取范式的每个子句都是极大项,且按编码从小到大排序
六、推理
推理给出的前提集合中每个项的真值都是T,由此推断结论
基本蕴含关系
简化规则 | G∧H⇒G G∧H⇒H |
添加规则 | G⇒G∨H H⇒G∨H |
合取进入规则 | G,H⇒G∧H |
选言三段论 | G∨H,¬G⇒H G∨H,¬H⇒G |
假言推理规则 | G→H,G⇒H |
否定后件式 | G→H,¬H⇒¬G |
假言三段论 | G→H,H→I⇒G→I |
二难推论 | G∨H,G→I,H→I⇒I |
推理规则
规则P(前提引用规则):在推导过程中,可以随时引入前提集合中的任意一个前提。
规则T(逻辑结果引用规则):在推导过程中,可以随时引入公式S(前提的一个或多个公式推导出来的逻辑结果)
规则CP(附加前提规则):如果能从给定的前提结合与公式P退出S,则能从此前提集合推导出P→S