离散数学-命题逻辑基本概念
离散数学第一章命题逻辑知识点总结
数理逻辑部分第1章命题逻辑命题符号化及联结词命题: 判断结果惟一的陈述句命题的真值: 判断的结果真值的取值: 真与假真命题: 真值为真的命题假命题: 真值为假的命题注意: 感叹句、祈使句、疑问句都不是命题，陈述句中的悖论以及判断结果不惟一确定的也不是命题。
简单命题(原子命题)：简单陈述句构成的命题复合命题：由简单命题与联结词按一定规则复合而成的命题简单命题符号化用小写英文字母p, q, r, … ,p i,q i,r i (i≥1）表示简单命题用“1”表示真，用“0”表示假例如，令p：是有理数，则p 的真值为 0q：2 + 5 = 7，则q 的真值为 1联结词与复合命题1.否定式与否定联结词“”定义设p为命题，复合命题“非p”（或“p的否定”）称为p的否定式，记作p. 符号称作否定联结词，并规定p为真当且仅当p为假.2.合取式与合取联结词“∧”定义设p,q为二命题,复合命题“p并且q”(或“p与q”)称为p与q 的合取式，记作p∧q. ∧称作合取联结词，并规定 p∧q为真当且仅当p 与q同时为真注意：描述合取式的灵活性与多样性分清简单命题与复合命题例将下列命题符号化.(1) 王晓既用功又聪明.(2) 王晓不仅聪明，而且用功.(3) 王晓虽然聪明，但不用功.(4) 张辉与王丽都是三好生.(5) 张辉与王丽是同学.解令p：王晓用功，q：王晓聪明，则(1) p∧q(2) p∧q(3) p∧q.令r : 张辉是三好学生，s :王丽是三好学生(4) r∧s.(5) 令t : 张辉与王丽是同学，t 是简单命题 .说明:(1)~(4)说明描述合取式的灵活性与多样性.(5) 中“与”联结的是两个名词，整个句子是一个简单命题.3.析取式与析取联结词“∨”定义设p,q为二命题，复合命题“p或q”称作p与q的析取式，记作p∨q. ∨称作析取联结词，并规定p∨q为假当且仅当p与q同时为假.例将下列命题符号化(1) 2或4是素数.(2) 2或3是素数.(3) 4或6是素数.(4) 小元元只能拿一个苹果或一个梨.(5) 王晓红生于1975年或1976年.解令p:2是素数, q:3是素数, r:4是素数, s:6是素数,则 (1), (2), (3) 均为相容或.分别符号化为: p∨r , p∨q, r∨s,它们的真值分别为 1, 1, 0.而 (4), (5) 为排斥或.令t :小元元拿一个苹果，u:小元元拿一个梨，则 (4) 符号化为 (t∧u) ∨(t∧u).令v :王晓红生于1975年,w:王晓红生于1976年,则 (5) 既可符号化为 (v∧w)∨(v∧w), 又可符号化为v∨w , 为什么?4.蕴涵式与蕴涵联结词“”定义设p,q为二命题，复合命题“如果p,则q” 称作p与q的蕴涵式，记作p q，并称p是蕴涵式的前件，q为蕴涵式的后件. 称作蕴涵联结词，并规定，p q为假当且仅当p 为真q 为假.p q 的逻辑关系：q 为p 的必要条件“如果p，则q ” 的不同表述法很多：若p，就q只要p，就qp 仅当q只有q 才p除非q, 才p 或除非q, 否则非p.当p 为假时，p q 为真常出现的错误：不分充分与必要条件5.等价式与等价联结词“”定义设p，q为二命题，复合命题“p当且仅当q”称作p与q的等价式，记作p q. 称作等价联结词.并规定p q为真当且仅当p与q同时为真或同时为假.说明:(1) p q 的逻辑关系:p与q互为充分必要条件(2) p q为真当且仅当p与q同真或同假联结词优先级:( ),, , , ,同级按从左到右的顺序进行以上给出了5个联结词：, , , , ，组成一个联结词集合{, , , , }，联结词的优先顺序为：, , , , ; 如果出现的联结词同级，又无括号时，则按从左到右的顺序运算; 若遇有括号时，应该先进行括号中的运算.注意: 本书中使用的括号全为园括号.命题常项命题变项命题公式及分类命题变项与合式公式命题常项：简单命题命题变项：真值不确定的陈述句定义合式公式 (命题公式, 公式) 递归定义如下：(1) 单个命题常项或变项p,q,r,…,p i ,q i ,r i ,…,0,1是合式公式(2) 若A是合式公式，则 (A)也是合式公式(3) 若A, B是合式公式，则(A B), (A B), (A B), (A B)也是合式公式(4) 只有有限次地应用(1)~(3)形成的符号串才是合式公式说明: 元语言与对象语言, 外层括号可以省去合式公式的层次定义(1) 若公式A是单个的命题变项, 则称A为0层公式.(2) 称A是n+1(n≥0)层公式是指下面情况之一：(a) A=B, B是n层公式；(b) A=B C, 其中B,C分别为i层和j层公式，且n=max(i, j)；(c) A=B C, 其中B,C的层次及n同(b)；(d) A=B C, 其中B,C的层次及n同(b)；(e) A=B C, 其中B,C的层次及n同(b).例如公式p 0层p 1层p q 2层(p q)r 3层((p q) r)(r s) 4层公式的赋值定义给公式A中的命题变项p1, p2, … , p n指定一组真值称为对A的一个赋值或解释成真赋值: 使公式为真的赋值成假赋值: 使公式为假的赋值说明：赋值=12…n之间不加标点符号，i=0或1.A中仅出现p1, p2, …, p n，给A赋值12…n是指p1=1, p2=2, …, p n=nA中仅出现p,q, r, …, 给A赋值123…是指p=1,q=2 , r= 3 …含n个变项的公式有2n个赋值.真值表真值表: 公式A在所有赋值下的取值情况列成的表例给出公式的真值表A= (q p) q p的真值表例 B = (p q) q的真值表例C= (p q) r的真值表命题的分类重言式矛盾式可满足式定义设A为一个命题公式(1) 若A无成假赋值，则称A为重言式(也称永真式)(2) 若A无成真赋值，则称A为矛盾式(也称永假式)(3) 若A不是矛盾式，则称A为可满足式注意：重言式是可满足式，但反之不真.上例中A为重言式，B为矛盾式，C为可满足式A= (q p)q p，B =(p q)q，C= (p q)r等值演算等值式定义若等价式A B是重言式，则称A与B等值，记作A B，并称A B是等值式说明：定义中，A,B,均为元语言符号, A或B中可能有哑元出现.例如，在 (p q) ((p q) (r r))中，r为左边公式的哑元.用真值表可验证两个公式是否等值请验证：p(q r) (p q) rp(q r) (p q) r基本等值式双重否定律 : A A等幂律：A A A, A A A交换律: A B B A, A B B A结合律: (A B)C A(B C)(A B)C A(B C)分配律: A(B C)(A B)(A C)A(B C) (A B)(A C)德·摩根律: (A B)A B(A B)A B吸收律: A(A B)A, A(A B)A零律: A11, A00同一律: A0A, A1A排中律: A A1矛盾律: A A0等值演算:由已知的等值式推演出新的等值式的过程置换规则：若A B, 则(B)(A)等值演算的基础：(1) 等值关系的性质：自反、对称、传递(2) 基本的等值式(3) 置换规则应用举例——证明两个公式等值例1 证明p(q r) (p q)r证p(q r)p(q r) （蕴涵等值式，置换规则）(p q)r（结合律，置换规则）(p q)r（德摩根律，置换规则）(p q) r（蕴涵等值式，置换规则）说明:也可以从右边开始演算（请做一遍）因为每一步都用置换规则，故可不写出熟练后，基本等值式也可以不写出应用举例——证明两个公式不等值例2 证明: p(q r) (p q) r用等值演算不能直接证明两个公式不等值,证明两个公式不等值的基本思想是找到一个赋值使一个成真,另一个成假.方法一真值表法（自己证）方法二观察赋值法. 容易看出000, 010等是左边的的成真赋值，是右边的成假赋值.方法三用等值演算先化简两个公式，再观察.应用举例——判断公式类型例3 用等值演算法判断下列公式的类型(1) q(p q)解q(p q)q(p q) （蕴涵等值式）q(p q) （德摩根律）p(q q) （交换律，结合律）p0 （矛盾律）0 （零律）由最后一步可知，该式为矛盾式.(2) (p q)(q p)解 (p q)(q p)(p q)(q p) （蕴涵等值式）(p q)(p q) （交换律）1由最后一步可知，该式为重言式.问：最后一步为什么等值于1？(3) ((p q)(p q))r)解 ((p q)(p q))r)(p(q q))r（分配律）p1r（排中律）p r（同一律）这不是矛盾式，也不是重言式，而是非重言式的可满足式.如101是它的成真赋值,000是它的成假赋值.总结：A为矛盾式当且仅当A0A为重言式当且仅当A1说明：演算步骤不惟一,应尽量使演算短些对偶与范式对偶式与对偶原理定义在仅含有联结词, ∧,∨的命题公式A中，将∨换成∧, ∧换成∨，若A中含有0或1，就将0换成1，1换成0，所得命题公式称为A的对偶式，记为A*.从定义不难看出，(A*)* 还原成A定理设A和A*互为对偶式，p1,p2,…,p n是出现在A和A*中的全部命题变项，将A和A*写成n元函数形式，则 (1) A(p1,p2,…,p n) A* (p1, p2,…, p n) (2) A(p1, p2,…, p n) A* (p1,p2,…,p n) 定理（对偶原理）设A，B为两个命题公式，若A B，则A* B*.析取范式与合取范式文字:命题变项及其否定的总称简单析取式:有限个文字构成的析取式如p, q, p q, p q r, …简单合取式:有限个文字构成的合取式如p, q, p q, p q r, …析取范式:由有限个简单合取式组成的析取式A 1A2Ar, 其中A1,A2,,A r是简单合取式合取范式:由有限个简单析取式组成的合取式A 1A2Ar, 其中A1,A2,,A r是简单析取式范式:析取范式与合取范式的总称公式A的析取范式: 与A等值的析取范式公式A的合取范式: 与A等值的合取范式说明：单个文字既是简单析取式，又是简单合取式p q r, p q r既是析取范式，又是合取范式(为什么?)命题公式的范式定理任何命题公式都存在着与之等值的析取范式与合取范式.求公式A的范式的步骤：(1) 消去A中的, （若存在）(2) 否定联结词的内移或消去(3) 使用分配律对分配（析取范式）对分配（合取范式）公式的范式存在，但不惟一求公式的范式举例例求下列公式的析取范式与合取范式(1) A=(p q)r解 (p q)r(p q)r（消去）p q r（结合律）这既是A的析取范式（由3个简单合取式组成的析取式），又是A的合取范式（由一个简单析取式组成的合取式）(2) B=(p q)r解 (p q)r(p q)r（消去第一个）(p q)r（消去第二个）(p q)r（否定号内移——德摩根律）这一步已为析取范式（两个简单合取式构成）继续： (p q)r(p r)(q r) （对分配律）这一步得到合取范式（由两个简单析取式构成）极小项与极大项定义在含有n个命题变项的简单合取式(简单析取式)中，若每个命题变项均以文字的形式在其中出现且仅出现一次，而且第i（1i n）个文字出现在左起第i位上，称这样的简单合取式（简单析取式）为极小项（极大项）.说明：n个命题变项产生2n个极小项和2n个极大项2n个极小项（极大项）均互不等值用m i表示第i个极小项，其中i是该极小项成真赋值的十进制表示. 用M i 表示第i个极大项，其中i是该极大项成假赋值的十进制表示, m i(M i)称为极小项(极大项)的名称.m与M i的关系: m i M i , M i m ii主析取范式与主合取范式主析取范式: 由极小项构成的析取范式主合取范式: 由极大项构成的合取范式例如，n=3, 命题变项为p, q, r时，(p q r)(p q r) m1m3是主析取范式(p q r)(p q r) M1M5 是主合取范式A的主析取范式: 与A等值的主析取范式A的主合取范式: 与A等值的主合取范式.定理任何命题公式都存在着与之等值的主析取范式和主合取范式, 并且是惟一的.用等值演算法求公式的主范式的步骤：(1) 先求析取范式（合取范式）(2) 将不是极小项（极大项）的简单合取式（简单析取式）化成与之等值的若干个极小项的析取（极大项的合取），需要利用同一律（零律）、排中律（矛盾律）、分配律、幂等律等.(3) 极小项（极大项）用名称m i（M i）表示，并按角标从小到大顺序排序.求公式的主范式例求公式A=(p q)r的主析取范式与主合取范式.(1) 求主析取范式(p q)r(p q)r , （析取范式）①(p q)(p q)(r r)(p q r)(p q r)m 6m7,r(p p)(q q)r(p q r)(p q r)(p q r)(p q r)m 1m3m5m7③②, ③代入①并排序，得(p q)r m1m3m5m6m7（主析取范式）(2) 求A的主合取范式(p q)r(p r)(q r) , （合取范式）①p rp(q q)r(p q r)(p q r)M 0M2,②q r(p p)q r(p q r)(p q r)M 0M4③②, ③代入①并排序，得(p q)r M0M2M4 （主合取范式）主范式的用途——与真值表相同(1) 求公式的成真赋值和成假赋值例如 (p q)r m1m3m5m6m7，其成真赋值为001, 011, 101, 110, 111，其余的赋值 000, 010, 100为成假赋值.类似地，由主合取范式也可立即求出成假赋值和成真赋值.(2) 判断公式的类型设A含n个命题变项，则A为重言式A的主析取范式含2n个极小项A的主合取范式为1.A为矛盾式A的主析取范式为0A的主合取范式含2n个极大项A为非重言式的可满足式A的主析取范式中至少含一个且不含全部极小项A的主合取范式中至少含一个且不含全部极大项例某公司要从赵、钱、孙、李、周五名新毕业的大学生中选派一些人出国学习. 选派必须满足以下条件：(1)若赵去，钱也去；(2)李、周两人中至少有一人去；(3)钱、孙两人中有一人去且仅去一人；(4)孙、李两人同去或同不去；(5)若周去，则赵、钱也去.试用主析取范式法分析该公司如何选派他们出国？解此类问题的步骤为：①将简单命题符号化②写出各复合命题③写出由②中复合命题组成的合取式④求③中所得公式的主析取范式解①设p：派赵去，q：派钱去，r：派孙去，s：派李去，u：派周去.② (1) (p q)(2) (s u)(3) ((q r)(q r))(4) ((r s)(r s))(5) (u(p q))③ (1) ~ (5)构成的合取式为A=(p q)(s u)((q r)(q r))((r s)(r s))(u(p q))④ A (p q r s u)(p q r s u)结论：由④可知，A的成真赋值为00110与11001，因而派孙、李去（赵、钱、周不去）或派赵、钱、周去（孙、李不去）.A的演算过程如下:A (p q)((q r)(q r))(s u)(u(p q)) ((r s)(r s)) （交换律) B1= (p q)((q r)(q r))((p q r)(p q r)(q r)) （分配律）B2= (s u)(u(p q))((s u)(p q s)(p q u)) （分配律）B 1B2(p q r s u)(p q r s u) (q r s u)(p q r s)(p q r u)再令B3 = ((r s)(r s))得A B1B2B3(p q r s u)(p q r s u)注意：在以上演算中多次用矛盾律要求：自己演算一遍推理理论推理的形式结构推理的形式结构—问题的引入推理举例:(1) 正项级数收敛当且仅当部分和有上界.(2) 若推理: 从前提出发推出结论的思维过程上面(1)是正确的推理，而(2)是错误的推理.证明: 描述推理正确的过程.判断推理是否正确的方法•真值表法•等值演算法判断推理是否正确•主析取范式法•构造证明法证明推理正确说明：当命题变项比较少时，用前3个方法比较方便, 此时采用形式结构“” . 而在构造证明时，采用“前提: , 结论: B”.推理定律与推理规则推理定律——重言蕴涵式构造证明——直接证明法例构造下面推理的证明：若明天是星期一或星期三，我就有课. 若有课，今天必备课. 我今天下午没备课. 所以，明天不是星期一和星期三.解设p：明天是星期一，q：明天是星期三，r：我有课，s：我备课推理的形式结构为例构造下面推理的证明:2是素数或合数. 若2是素数，则是无理数.若是无理数，则4不是素数. 所以，如果4是素数，则2是合数.用附加前提证明法构造证明解设p：2是素数，q：2是合数，r：是无理数，s：4是素数推理的形式结构前提：p∨q, p r, r s结论：s q证明① s附加前提引入②p r前提引入③r s前提引入④p s②③假言三段论⑤p①④拒取式⑥p∨q前提引入⑦q⑤⑥析取三段论请用直接证明法证明之。
离散数学-----命题逻辑
离散数学-----命题逻辑逻辑：是研究推理的科学。
公元前四世纪由希腊的哲学家亚里斯多德首创。
作为一门独立科学，十七世纪，德国的莱布尼兹(Leibniz)给逻辑学引进了符号, 又称为数理逻辑(或符号逻辑)。
逻辑可分为：1. 形式逻辑（是研究思维的形式结构和规律的科学，它撇开具体的、个别的思维内容，从形式结构方面研究概念、判断和推理及其正确联系的规律。
）→数理逻辑（是用数学方法研究推理的形式结构和规律的数学学科。
它的创始人Leibniz，为了实现把推理变为演算的想法，把数学引入了形式逻辑中。
其后，又经多人努力，逐渐使得数理逻辑成为一门专门的学科。
）2. 辩证逻辑（是研究反映客观世界辩证发展过程的人类思维的形态的。
）一、命题及其表示方法1、命题数理逻辑研究的中心问题是推理,而推理的前提和结论都是表达判断的陈述句，因而表达判断的陈述句构成了推理的基本单位。
基本概念：命题：能够判断真假的陈述句。
命题的真值：命题的判断结果。
命题的真值只取两个值:真（用T(true)或1表示）、假（用F(false)或0表示）。
真命题：判断为正确的命题，即真值为真的命题。
假命题：判断为错误的命题，即真值为假的命题。
因而又可以称命题是具有唯一真值的陈述句。
判断命题的两个步骤：1、是否为陈述句；2、是否有确定的、唯一的真值。
说明：（1）只有具有确定真值的陈述句才是命题。
一切没有判断内容的句子，无所谓是非的句子，如感叹句、祁使句、疑问句等都不是命题。
（2）因为命题只有两种真值，所以“命题逻辑”又称“二值逻辑”。
（3）“具有确定真值”是指客观上的具有，与我们是否知道它的真值是两回事。
2、命题的表示方法在书中，用大写英文字母A,B,…,P,Q或带下标的字母P1,P2,P3 ,…,或数字(1),*2+, …,等表示命题，称之为命题标识符。
命题标识符又有命题常量、命题变元和原子变元之分。
命题常量：表示确定命题的命题标识符。
命题变元：命题标识符如仅是表示任意命题的位置标志，就称为命题变元。
离散数学复习纲要I(命题逻辑部分)
离散数学复习纲要Ｉ（命题逻辑部分）讲师：高晓沨制作：杨非课程：MA115-2012秋季学期第1章.命题逻辑的基本概念(Basic Concepts of Propositional Logic)1.命题：非真即假的陈述句。
（注意区分“尚未知真假”和“无法判定真假”）(a)真值：命题可能的取值，用T/F或0/1表示。
（有两种取值的命题逻辑称为二值逻辑）(b)命题常项：有确定真值的命题。
(c)命题变项：用大写字母如P，Q表示命题。
当P表示任意命题时，称为命题变项。
(d)简单命题：又称原子命题，是不可再分割的命题。
(e)复合命题：复合命题是一个或几个简单命题用联结词联结所构成的新命题。
2.命题联结词及真值表(a)命题联接词：定义复合命题的联接符号。
（常用联接词“¬,∧,∨,→,↔”）i.否定词：¬，一元联结词。
¬P表示对命题P的否定。
ii.合取词：∧，二元联结词。
P∧Q表示“P与Q”。
iii.析取词：∨，二元联结词。
P∨Q表示“P或Q”。
iv.蕴含词：→，二元联结词，表示命题间的推理。
P→Q表示“P蕴含Q”、“如果P那么Q”。
P称为前项/条件，Q称为后项/结论。
P→Q与¬P∧Q真值相同。
v.双条件词：↔，二元联结词，表示命题间的等价。
P↔Q表示“P等价于Q”。
P↔Q与(P→Q)∧(Q→P)真值相同。
(b)真值表：用表格表示命题之间的真值关系。
（复合命题的真值依赖命题变项的真值）P Q¬P P∧Q P∨Q P→Q P↔Q T T F T T T TT F F F T F FF T T F T T FF F T F F T T 注：自然用语里的联结词表示两种同类有关事物的并列关系，而逻辑语言中仅考虑命题间的形式关系，并不顾及自然用语中是否有此说，逻辑联结词是自然用语中联结词的抽象，两者并不等同。
(c)命题A依赖P1,...,P n时有2n种解释。
联结词∧,∨,¬与数字电路中与门,或门,非门对应。
《离散数学》命题逻辑
例如：
和 e 都是无理数。 6和8至少有一个是合数。 说刘老师讲课不好是不正确的。 不下雨我就去买书。
7
命题与命题联结词
将命题连接起来的方式叫做命题联结词
（ proposition connective ） 或 命 题 运 算 符
3
命题与命题联结词
逻辑
如何表示？ 如何“操作”？
非真即假的陈述句称为命题（proposition）。 一个命题如果是对的或正确的，则称为真命
题，其真值为“真”（true），常用T或1表示； 一个命题如果是错的或不正确的，则称为假
命题，其真值为“假”（false），常用F或0表示。
4
命题与命题联结词
32
命题公式及其分类
为简化公式的形式，作如下规定：
(1) 优先级 , (∧, ∨), (, ) (2) 公式 (~p) 的括号可以省略，写成 ~p (3) 整个公式最外层的括号可以省略
例1
(((p)∧q)(q∨p)) p∧q q∨p
例2
p∧q∨r 不是 命题公式 应写作 (p∧q)∨r 或 p∧(q∨r)
例 判断下列句子哪些是命题，哪些不是
这门课程题为“离散数学”。 这门“离散数学”讲得好吗？ X 这门“离散数学”讲得真好！ X 请学习“离散数学” 。 X 5是素数。 太阳从西方升起。 如果明天晴，而且我有空，我就去踢球。 天王星上没有生命。 x + 3 > 5。 X 5 本命题是假的。X
俞伯牙和钟子期是好朋友。 俞伯牙是好朋友 ∧ 钟子期是好朋友 俞伯牙 ∧ 钟子期是好朋友 Friend (俞伯牙,钟子期)
23
离散数学笔记总结
离散数学笔记总结一、命题逻辑。
1. 基本概念。
- 命题：能够判断真假的陈述句。
例如“2 + 3 = 5”是真命题，“1 > 2”是假命题。
- 命题变元：用字母表示命题，如p,q,r等。
2. 逻辑联结词。
- 否定¬：¬ p表示对命题p的否定，若p为真，则¬ p为假，反之亦然。
- 合取wedge：pwedge q表示p并且q，只有当p和q都为真时，pwedge q才为真。
- 析取vee：pvee q表示p或者q，当p和q至少有一个为真时，pvee q为真。
- 蕴含to：pto q表示若p则q，只有当p为真且q为假时，pto q为假。
- 等价↔：p↔ q表示p当且仅当q，当p和q同真同假时，p↔ q为真。
3. 命题公式。
- 定义：由命题变元、逻辑联结词和括号按照一定规则组成的符号串。
- 赋值：给命题变元赋予真假值，从而确定命题公式的真值。
- 分类：重言式（永真式）、矛盾式（永假式）、可满足式。
4. 逻辑等价与范式。
- 逻辑等价：若A↔ B是重言式，则称A与B逻辑等价，记作A≡ B。
例如¬(pwedge q)≡¬ pvee¬ q（德摩根律）。
- 范式：- 析取范式：由有限个简单合取式的析取组成的命题公式。
- 合取范式：由有限个简单析取式的合取组成的命题公式。
- 主析取范式：每个简单合取式都是极小项（包含所有命题变元的合取式，每个变元只出现一次）的析取范式。
- 主合取范式：每个简单析取式都是极大项（包含所有命题变元的析取式，每个变元只出现一次）的合取范式。
二、谓词逻辑。
1. 基本概念。
- 个体：可以独立存在的事物，如人、数等。
- 谓词：用来刻画个体性质或个体之间关系的词。
例如P(x)表示x具有性质P，R(x,y)表示x和y具有关系R。
- 量词：- 全称量词∀：∀ xP(x)表示对于所有的x，P(x)成立。
- 存在量词∃：∃ xP(x)表示存在某个x，使得P(x)成立。
离散数学-第二章命题逻辑
设A( P1，P2，…,Pn )是一个命题公式，
P1，P2，…,Pn是出现于其中的全部命题变元，对P1， P2，…,Pn分别指定一个真值,称为对P1，P2，…,Pn公式A 的一组真值指派。
列出命题公式A在P1，P2，…,Pn的所有2n种真值指 派下对应的真值，这样的表称为A的真值表。
16
例3
值表。
例12 用符号形式表示下列命题。
（1） （2） 如果明天早上下雨或下雪，那么我不去学校 如果明天早上不下雨且不下雪，那么我去学校。
（3）
（4）
如果明天早上不是雨夹雪，那么我去学校。
只有当明天早上不下雨且不下雪时，我才去学校。 解 令P：明天早上下雨； Q：明天早上下雪； R：我去学校。 （1）（P∨Q）→ ¬ R； （2）（¬ ∧¬ P Q）→R； （3）¬ (P∧Q）→R （4）R→（¬ ∧¬ Q） P
4
例4
2．合取“∧” 定义2.2.2
设P和Q是两个命题，则P和Q的合取 是一个复合命题，记作“P ∧ Q”（读作“P且Q”）。
当且仅当命题P和Q均取值为真时，P ∧ Q才取值为真。
P 0 0 1 1 Q 0 1 0 1 P∧Q 0 0 0 1
例5
设P：我们去看电影。Q：房间里有十张桌子。则
P ∧ Q表示“我们去看电影并且房间里有十张桌子。”
5
3. 析取“∨” 定义2.2.3
设P和Q是两个命题，则P和Q的析取是一个复 合命题，记作“P∨Q”（读作“P或Q”）。
当且仅当P和Q至少有一个取值为真时，P∨Q取值为真。
P
0 0 1 1 Q 0 1 0 1 P∨Q 0 1 1 1
例6 设命题P：他可能是100米赛跑冠军；
Q：他可能是400米赛跑冠军。
离散数学（1）复习笔记
离散数学（1）复习笔记Ch1 命题逻辑的基本概念1.1 命题命题：能判断真假且⾮真即假的陈述句。
命题的真值，真命题，假命题。
* 真值待定 *简单命题 | 原⼦命题，复合命题。
1.2 常⽤的5个命题联结词否定，合取，析取，蕴涵，双蕴涵。
* 异或 | 排斥或 | 不可兼或 * 注意语义判断。
* p→q = ﹁ p∨q ** 必要条件 * 只有……才……；仅当……，……；……，仅当……。
注意命题符号化的蕴涵⽅向。
* domain * A horse is white. （×）联结词集，⼀元联结词，⼆元联结词。
* 优先顺序 * （），﹁，∧，∨，→，↔1.3 合式公式及其赋值命题常项 | 命题常元（值是确定的），命题变项 | 命题变元（真值可以变化的陈述句）。
合式公式 | 命题公式 | 命题形式 | 公式（wff）（well formed formulas），原⼦命题公式（单个命题变项），⼦公式。
* 单个命题变项是合式公式，没说命题常项。
*赋值 | 解释，成真赋值，成假赋值。
真值表。
* 真值表要点：赋值从00…0开始，按照⼆进制加法，直到11…1为⽌；按照运算的优先次序写出各⼦公式。
*命题公式的分类：重⾔式 | 永真式，⽭盾式 | 永假式，可满⾜式。
1.4 重⾔式与代⼊规则代⼊规则。
* 1. 公式中被代换的只能是命题变项（原⼦命题），⽽不能是复合命题。
2.对公式中某命题变项施以代⼊，必须对该公式中出现的所有同⼀命题变项施以相同的代换。
* 1.5 命题形式化命题形式化 | 符号化。
* 注意充分条件和必要条件的区别 ** 注意语义是否考虑完整 *1.6 波兰表达式中置式 | 中缀式，前置式 | 前缀式 | 波兰式，后置式 | 后缀式 | 逆波兰式。
Ch2 命题逻辑的等值和推理演算2.1 等值定理等值 | 等价，等值定理：设A，B为两个命题公式，A = B的充分必要条件是 A↔B为⼀个重⾔式。
离散数学结构第1章命题逻辑基本概念
离散数学结构第1章命题逻辑基本概念第1章命题逻辑基本概念主要内容1. 命题与真值（或真假值）。
2. 简单命题与复合命题。
3. 联结词：否定联结词┐，合取联结词∧，析取联结词∨，蕴涵联结词→，等价联结词。
4. 命题公式（简称公式）。
5. 命题公式的层次和公式的赋值。
6. 真值表。
7. 公式的类型（重⾔式（或永真式），⽭盾式（或永假式），可满⾜式）。
学习要求1. 在5种联结词中，要特别注意蕴涵联结的应⽤，要弄清三个问题：① p→q的逻辑关系② p→q的真值③ p→q的灵活的叙述⽅法2. 写真值表要特别仔细认真，否则会出错误。
3. 深刻理解各联结词的逻辑含义。
4. 熟练地将复合命题符号化。
6. 会⽤真值表求公式的成真赋值和成假赋值。
1.1 命题与联结词 (2)⼀、命题的概念 (2)⼆、复合命题与联结词 (2)三、复合命题真假值 (5)1.2 命题公式及其赋值 (6)⼀、命题公式的定义 (6)⼆、公式的层次 (6)三、公式的赋值 (6)四、真值表 (7)五、公式的真假值分类 (8)1.1 命题与联结词⼀、命题的概念引⾔中的例⼦就是要对“我戴的是⿊帽⼦”进⾏判断。
这样的陈述句称为命题。
作为命题的陈述句所表达的判断结果称为命题的真值，真值只取两个值：真或假。
真值为真的命题称为真命题，真值为假的命题称为假命题。
真命题表达的判断正确，假命题表达的判断错误。
任何命题的真值都是唯⼀的。
判断给定句⼦是否为命题，应该分两步：⾸先判定它是否为陈述句，其次判断它是否有唯⼀的真值。
例1.1 判断下列句⼦是否为命题。
(1) 4是素数。
(2) 是⽆理数。
(3) x⼤于y。
(4) ⽉球上有冰。
(5) 2100年元旦是晴天。
(6) π⼤于吗？(7) 请不要吸烟！(8) 这朵花真美丽啊！(9) 我正在说假话。
解:本题的(9)个句⼦中，(6)是疑问句，(7)是祈使句，(8)是感叹句，因⽽这3个句⼦都不是命题。
剩下的6个句⼦都是陈述句，但(3)⽆确定的真值，根据x,y的不同取值情况它可真可假，即⽆唯⼀的真值，因⽽不是命题。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
第2章
命题逻辑
上海大学 谢 江
1
Hale Waihona Puke 第2章命题逻辑• 2.1 命题逻辑基本概念 • 2.2 命题逻辑等值演算 • 2.3 范式
• 2.4 推理
2
2.1 命题逻辑基本概念
• 2.1.1 命题与联结词
– 命题与真值(简单命题, 复合命题) – 联结词(¬ , , , , )
pq 的逻辑关系: p与q互为充分必要条件: (p→q)∧(q→p)
例如 这件事张三能做好, 且只有张三能做好 设 p:张三做这件事, q: 这件事做好了。形式化为: pq
20
2.1.1 命题与联结词
实例
例6 求下列复合命题的真值 (1) 2+2＝4 当且仅当 3+3＝6. (2) 2+2＝4 当且仅当 3是偶数. (3) 2+2＝4 当且仅当 太阳从东方升起. (4) 2+2＝5 当且仅当 美国位于非洲. 1 0 1 1
15
2.1.1 命题与联结词
联结词与复合命题(续)
定义2.4 “如果 p,则 q” 称作 p与q 的蕴涵式, 记作 p q, 并称 p是蕴涵式的前件, q为蕴涵式的后件. 称作蕴涵 联结词, 规定, p q 为假当且仅当 p 为真且 q 为假.
例如 如果明天天气好, 我们就出去郊游 设 p:明天天气好, q: 我们出去郊游, pq 形式化为
实例
例3 将下列命题符号化 (1) 2或4是素数. (2) 2或3是素数. (3) 4或6是素数. (4) 元元只能拿一个苹果或一个梨. (5) 王晓红生于1975年或1977年. 解 记 p:2是素数, q:3是素数, r: 4是素数, s: 6是素数 (1) p∨r, 真值： 1 (2) p∨q, 真值：1 (3) r∨s, 真值： 0 (4) 记 t: 元元拿一个苹果,u:元元拿一个梨 t∨ u ？ × (5) 记v:王晓红生于1975年,w:王晓红生于1977年 (v∧w)∨(v∧w) v∨ w ？ √
(1) pq，真值为 1 (2) pq, 真值为 1
19
(3) pq ，真值为0 (4) p q, 真值为 1
2.1.1 命题与联结词
联结词与复合命题(续)
定义2.5 “p当且仅当q”称作p与q的等价式, 记作 pq, 称作等价联结词. 并规定 pq 为真当且仅当 p与q同时 为真或同时为假.
不是！
p，q，r，…是命题常数还是命题变项？ 根据上下文来确定 具体的简单命题为命题常项，如p: 3+3=6; q: 雪是白色的
24
2.1.2 命题公式及其分类
合式公式（续）
将命题变项用联结词和圆括号按一定的逻辑关系联结起 来的符号串称为合式公式或命题公式，简称公式. 当使用联 结词集{, ∧, ∨, →, ↔}中的联结词时： 定义2.6 合式公式 (命题公式, 公式) 递归定义如下： (1) 单个命题常项或变项是合式公式,并称作原子合式公式 (2) 若A是合式公式, 则 (A)也是合式公式 (3) 若A, B是合式公式, 则(AB), (AB), (AB), (AB)也 是合式公式 (4) 只有有限次地应用(1)~(3)形成的符号串才是合式公式
26
2.1.2 命题公式及其分类
合式公式的层次
定义2.7 (1) 单个命题变项或命题常项是 0 层公式 2) 称A是n+1(n≥0)层公式是指下面情况之一： (a) A=B, B是n层公式 (b) A=BC, 其中B,C分别为 i 层和 j 层公式, 且 n=max(i, j) (c) A=BC, 其中B,C的层次及n同(b) (d) A=BC, 其中B,C的层次及n同(b) (e) A=BC, 其中B,C的层次及n同(b) 3) 若公式A的层次为 k，则称A是 k层公式. 例如 p 0层 (pq)r 3层 命题公式的真值？ p 1层 pq ((pq) r)(rs) 2层 4层
(1) p∧q
(2) p∧q
(3) p∧q
r∧ s
(4) 记 r:张辉是三好生, s:王丽是三好生, (5) 简单命题, 记 t:张辉与王丽是同学
12
2.1.1 命题与联结词
联结词与复合命题(续)
定义2.3 “p或q”称作p与q的析取式,记作p∨q, ∨称作析取 联结词, 并规定p∨q为假当且仅当p与q同时为假.
16
2.1.1 命题与联结词
蕴涵联结词(续)
pq 的逻辑关系: q为 p的必要条件, p为 q的充分条件
“如果 p,则 q” 的多种表述方式： 若 p,就 q 只要 p, 就 q p 仅当 q 只有q 才 p 除非 q, 才 p 除非 q, 否则非 p 当 p为假时，pq为真(不管q为真, 还是为假) 在自然语言中，“如果p，则q”中的前件和后件往往具有某 种内在联系，而在数理逻辑中，p与q可以无任何内在联系
9
p并且q
2.1.1 命题与联结词
联结词与复合命题
定义2.1 “非p”(或 “p的否定”)称为p的否定式, 记作 p, 称作否定联结词, 规定 p为真当且仅当 p为假
例如 p:2是合数, p: 2不是合数,
p为假, p为真
10
2.1.1 命题与联结词
联结词与复合命题
定义 2.2 “ p 并且 q”( 或“ p 与 q”) 称为 p 与 q 的合取式 , 记作 p∧q, ∧称作合取联结词, 规定 p∧q为真当且仅当 p与q 同时为真
17
2.1.1 命题与联结词
实例
例4 设 p:天冷, q: 小王穿羽绒服， 将下列命题符号化 (1) 只要天冷，小王就穿羽绒服. (2) 因为天冷，所以小王穿羽绒服. (3) 若小王不穿羽绒服，则天不冷. (4) 只有天冷，小王才穿羽绒服. (5) 除非天冷，小王才穿羽绒服. (6) 除非小王穿羽绒服，否则天不冷. (7) 如果天不冷，则小王不穿羽绒服. (8) 小王穿羽绒服仅当天冷的时候. pq pq qp 或 pq qp qp pq pq 或 qp qp
18
注意： pq 与 qp 等值（真值相同）
2.1.1 命题与联结词
实例
例5 将下列命题符号化，并指出真值 (1) 如果3+3=6，则雪是白色的. (2) 如果3+3≠6，则雪是白色的. (3) 如果3+3=6，则雪不是白色的. (4) 如果3+3 ≠ 6，则雪不是白色的.
解：设 p：3+3=6，p的真值为 1. q：雪是白色的，q的真值也为 1.
• 2.2.2 命题公式及其分类
–命题公式及其赋值 –真值表 –命题公式的分类
3
2.1.1 命题与联结词
推理
前提 => 结论 例如推理 若华盛顿是美国的首都，则多伦多是加拿大的 首都。华盛顿是美国的首都，所以多伦多是加拿大的首都. 推理的组成： 联结词 ＋ 陈述句
4
2.1.1 命题与联结词
命题及其真值
例如 p： 多伦多是加拿大的首都. 真值为 0 q： ������是无理数. r：火星上有生命.
真值为1 真值现在未知
s：2050年元旦北京是晴天. 真值现在未知
8
2.1.1 命题与联结词
简单命题与复合命题
复合命题:由简单命题通过联结词联结而成的陈述句
例如 1. 如果明天天气好, 我们就出去郊游 设 p: 明天天气好, q: 我们出去郊游, 如果p, 则q 2. 张三一面喝茶一面看报 设 p: 张三喝茶, q: 张三看报, 3. 多伦多不是加拿大的首都 设 p：多伦多是加拿大的首都，不是 p 4. 2是素数当且仅当3也是素数 设 s：2是素数，t：3是素数， s 当且仅当 t
命题及其真值
说明: • 命题是命题逻辑中最小的单位（命题逻辑中，对命题的 成分不再细分（如主语、谓语等）了）.. • 判定给定语句是否为命题，要分两步： 1）判断是否为陈述句； 2）判断是否有唯一的真值.
6
2.1.1 命题与联结词
实例
例1 下列句子中那些是命题？ (1) 北京是中华人民共和国的首都. (2) 2 + 5 ＝8. (3) x + 5 ＞ 3. (4) 你会开车吗？ (5) 2050年元旦北京是晴天. (6) 这只兔子跑得真快呀！ (7) 请关上门！ (8) 我正在说谎话.
1.可以有多种自然语 言表达；2.不是所有 的“和”和“与”都 使用联结词∧
例如 p:2是偶数, q: 2是素数, p∧q: 2是偶素数, p为真, q为真, p∧q为真
11
2.1.1 命题与联结词
实例
例2 将下列命题符号化. (1) 王晓既用功又聪明. (2) 王晓不仅聪明，而且用功. (3) 王晓虽然聪明，但不用功. (4) 张辉与王丽都是三好生. (5) 张辉与王丽是同学. 解 记 p:王晓聪明, q:王晓用功
真命题 假命题 真值不确定 疑问句 真值确定, 但未知 感叹句 祈使句 悖论
7
(1),(2),(5) 是命题, (3),(4),(6)~(8) 都不是命题
2.1.1 命题与联结词
简单命题与复合命题
简单命题(原子命题)：简单陈述句，无联结词成的命题
简单命题的符号化:用p, q, r, … ,pi,qi,ri (i≥1)表示 用“1”表示真，用“0”表示假
命题: 判断结果唯一的陈述句 命题的真值: 判断的结果,真或假 真命题: 真值为真的命题 假命题: 真值为假的命题
注意: 命题的两个特点 • 感叹句、祈使句、疑问句都不是命题 • 陈述句中的悖论以及判断结果不唯一确定的也不是命题 • 任何命题的真值都是唯一的
推理的基本要素：联结词＋命题
5
2.1.1 命题与联结词
25
2.1.2 命题公式及其分类
合式公式（续）
说明: (1) 定义给出的合式公式的定义方式称为归纳定义方式. (2) 定义中的A，B是表示任意的合式公式，而不是某个 具体的公式. (3) 在不影响运算顺序时, 括号可以省去 例如 0, p, pq, (pq)(pr), pq r, (pq)r