第一章 命题逻辑的基本概念
1.1 命题与连接词
-
非真即假的陈述句乘坐命题
-
作为命题,是否知道它的真值并不重要,重要的是它有唯一的真值。如2050年的元旦下大雪
-
用小写英文(p,q,r,s...至少从p开始往后数)表示命题
-
否定式“非p”﹁p是复合命题;∧合取 ∨析取
-
相容或和排斥或
-
相容或,即它联结的两个命题可以同时为真。如小明爱打球或跑步这两个命题可以同时为真,相容或
-
排斥或,只有当一个为真,另一个为假时,才为真。但是这个形式化有两种情况。
-
①”只能“,小芳只能挑选跳舞课或羽毛球课 这里p:小芳挑选跳舞课 q:小芳挑选羽毛球课,结果并不能单纯用p∨q表示,因为当p,q同真时结果也是真,即小芳既选了跳舞可,又选了羽毛球课,不满足”只能“。此复合命题为真应该时当且仅当p、q其中一个为真,另一个为假时才成立。(这里我们容易联想到”异或“关系)如何用形式化表达呢?不如我们表示得详细一点:小芳挑选跳舞课但不挑选羽毛球课或小芳挑选羽毛球课但不挑选跳舞课。于是用符号化表示:(p∧﹁q)∨(﹁p∧q)
-
②不能同时为真的。小芳是江西人或安徽人 这里既可以用(p∧﹁q)∨(﹁p∧q) 表示,又可以用p∧q表示,因为小芳不可能既是江西人又是安徽人,即p、q不能同时成立。
-
-
-
p→q称为p蕴涵q;规定p→q为假当且仅当p为真q为假。当p为假时无论q真假p→q都是真。
p q p→q 0 0 1 0 1 1 1 0 0 1 1 1 -
除非和否则。除非小王穿毛衣,否则天不冷 将”否“和”则“断开,否掉除非后的命题,改成如果小王不闯毛衣,则天不冷 这样就好判断蕴涵关系了。
只有天冷,小王才穿毛衣 是q→p
-
(p→q)∧(q→p)与p↔q的逻辑关系完全一样,都表示p与q互为充分必要条件。
-
优先顺序:"( )" > "﹁" > "∧" = "→" = "↔"
-
命题的中文说法与符号化
-
﹁p “非p”
-
p∧q “p并且q”
-
p∨q "p或q"
-
p→q "如果p,则q"
-
p↔q ”p当且仅当q“
-
1.2 命题公式及其赋值
-
真值可以变化的陈述句叫命题变项,命题变项不是命题。命题变项用符号联结起来的符号称为合式公式,简称公式。命题用符号联结起来就是复合命题。区分:如果题目只有符号p之类的,就是命题变项;如果是p:简单命题那就是命题常项
-
公式的层数。单个命题变项算0层,﹁算1层,其他的就是max(i,j)
-
解释或赋值:用命题常项代替公式中的命题变项然后各指定一个真值0或1(不关心命题内容,只关心真假)
-
三种命题公式(设A为任一命题公式)
-
重言式,A在它各种赋值下取值均为真,全为成真赋值。
-
矛盾式,A在它各种赋值中取值均为假,全为成假赋值。
-
非重言式的可满足式,A既有成真赋值又有成假赋值。(可满足式:不是矛盾时就是可满足式,至少有一个成真赋值。)
-
第二章 命题逻辑等值演算
2.1等值式
-
等值:在所有扶植下,A和B的真值都相同,则称A与B是等值的,记作
-
等值式模式
比较重要的等值式模式:1双重否定律、6德摩根律、8零律、9同一律、10排中律、11矛盾律
等值演算法做题顺序:
1.消→,↔ (蕴涵等值式、等价等值式)
2.消﹁( ) (德摩根律)
3.消双重否定(双重否定律)
2.2 析取范式与合取范式
-
命题变项及其否定统称作文字。仅由有限个文字构成的析取式(合取式)称作简单析取式(简单合取式)。
-
注意:p,﹁p,q,﹁q就即是简单析取式又是简单合取式。
-
-
由有限个简单合取式的析取构成的命题公式称作析取范式,由有限个简单析取式做合取构成的命题公式称作合取范式,统称为范式。
-
注意有些命题公式名字不唯一:p∧q∧r 即是由三个简单析取式做合取构成的合取范式,又是由一个简单合取式构成的析取范式(理解成 (p∧q∧r)∨1) )。
-
析取范式容易求成真赋值,合取范式容易求成假赋值
-
-
(范式存在定理)任一命题公式都存在与之等值的析取范式与合取范式。这就意味着我们可将所有的命题公式运用等值演算法转化为析取范式或合取范式的形式,方便求得赋值。
-
在含有n个命题变项的简单合取式(简单析取式)中,若每个命题变项和它的否定式恰好出现一个且仅出现一次[全部齐全],而且命题变项或它的否定式按照下标从小到大或按照字典序排列,称这样的简单合取式(简单析取式)为极小项(极大项)
-
极小对应合取式,极大对应析取。
-
由于命题变项还有否定形式,所以n个命题变项可以组成2^n个不同的极小项(极大项同理2n个)。每个极小项都有且仅有一个成真赋值,每个极大项也只有一个成假赋值,且不同的极小项(极大项)有不同的成真(成假)赋值。说明一个极小项可以提供一个成真赋值,一个极大项可以提供一个成假赋值。
-
讲极小项的成真赋值对应的二进制数等于十进制i,将这个极小项记作mi.例如p∨q∨r这个极小项成真赋值为111,对应十进制7,那么这个极小项记作m7;极大项同理,记作Mi。
-
﹁mi⇔Mi , ﹁Mi⇔mi
-
-
主析取范式(主合取范式):全部由极小项(极大项)构成的析取范式(合取范式)。
-
任何命题公式都存在与之等值的主析取范式和主合取范式,并且是唯一的。我将其称之为主范式存在定理,这条定理为我们转化范式提供依据。
-
简单合取式转化为极小项的步骤,如:
少了一个命题变项的
p∧q⇔(p∧q)∧1 (同一律)
⇔(p∧q)∧(r∨﹁r) (排中律,置换规则)
⇔(p∧q∧r)∨(p∧q∧﹁r) (分配律)
⇔m0∨m1
这样就变成了两个极小项做析取。
少了两个命题变项的
p⇔p∧1 (同一律)
⇔p∧(q∨﹁q) (排中律,置换规则)
⇔(p∧q)∨(p∧﹁q) (分配律)
⇔((p∧q)∨(p∧﹁q))∨1 (同一律)
⇔((p∧q)∨(p∧﹁q))∧(r∨﹁r) (排中律,置换规则)
⇔(p∧q∧r)∨(p∧﹁q∧r)∨(p∧q∧﹁r)∨(p∧﹁q∧﹁r) (分配律)
-
简单合取式转化为极小项的步骤,如:
少了一个命题变项的:
p∨q⇔(p∨q)∨0 (同一律)
⇔(p∨q)∨(r∧﹁r) (矛盾律)//这一步和简单合取式变极小项不一样,前后的步骤基本一致,结果符号调换
……
⇔(p∨q∨r)∧(p∨q∨﹁r) (分配律)
少两个命题变项的
p⇔p∨0
……
⇔(p∨q∨r)∧(p∨﹁q∨r)∧(p∨q∨﹁r)∧(p∨﹁q∨﹁r) (分配律)
-
总结简单合(析)取式转化为极大(小)项基本步骤:
-
缺少哪个变项就添加同时添加那个变项的原形和否定式,缺少多个就做排列组合
如p∧q最后变成(p∧q∧r)∨(p∧q∧﹁r) ,p变成(p∧q∧r)∨(p∧﹁q∧r)∨(p∧q∧﹁r)∨(p∧﹁q∧﹁r),原本是合取式加上后各部分做析取,原本析取的加上后各部分做合取
-
出现重复的命题变项或极小项或矛盾式应消去,如,p∧p⇔p,mi∨mi⇔mi,用0代替矛盾式
-
-
A是一个有3个命题变项的公式,假设主析取范式为 m2∨m5∨m7,说明它的成假赋值有三个,010,101,111,那么剩下的23-3=5个就是它的成真赋值了,则它的主合取范式为M0∧M1∧M3∧M4∧M6,相当于把真值表分为成真和成假,成真赋值压缩到主合取范式,成假赋值压缩到主析取范式,一眼就可以看出来。
-