第二讲 原子命题符号化及复合命题真假判断
原子命题符号化及复合命题真假判断
原子命题符号化：
所谓原子命题，就是上一讲所提到的没有联结词的简单命题。
比如复合命题：“我是学生并且他是学生”。在该命题中，“我是学生”就是一个原子命题，同样，“他是学生”也是一个原子命题。
用符号表示：
p: 我是学生
q: 他是学生
p∧q:我是学生并且他是学生
同样
p∨q:我是学生或者他是学生
p→q:如果我是学生，那么他是学生
当然，也可以由多个连接词构成复杂的复合命题。
为了使表达式的意义明确，需要规定优先级，优先顺序如下：
（），￢，∧，∨，→，?
下面举个例子
比如（（￢p）∧q）∨（p∧（￢q））表示我不是学生且他是学生或者我是学生他不是学生（更清晰地表述是我和他之间有且仅有一个学生）。
由优先级顺序知，括号是完全可以省掉的：￢p∧q∨p∧￢q
以上各个符号及表达式都称为命题公式。
复合命题真假判断
复合命题的真假是通过原子命题（在复合命题中称为命题变项或命题变元）的真假来判断的首先由第一讲已经得出了￢ p, p∧p ,p ∨p, p→q, p?q 这五种命题公式的真值判断。在其基础上，我们可以进行更复杂的真值判断。
比如￢p∧q∨p∧￢q，首先给定p为真，q为假。
那么￢p是假，由此￢p∧q是假。￢q为真，由此p∧￢q为真。此时，我们知道了∨两边是一真一假，因此整个表达式为真。
也可以用真值表来判断，在命题公式不太复杂的情况下，用真值表来判断是一种非常清楚的方法，但是在很多原子命题或者命题公式的组成十分复杂时，真
翻译就是在自然语言和命题公式之间进行转换。
上面提到的命题公式：
￢p∧q∨p∧￢q
和自然语言：
我不是学生且他是学生或者我是学生他不是学生（或者表述为：我和他之间有且仅有一个学生）
就是一种翻译。
这个比较容易理解。举几个例子说明下吧：
例子一：
p:天下雨
q:我有伞
r:我出去游玩
￢p∨p∧q→r
翻译为：天不下雨或者天下雨我有伞，那么我出去游玩。
例子二：
如果老师上课无趣，或者该课的习题很难，那么学生不喜欢这门课
先将原子命题符号化
p: 师上课有趣
q: 该课的习题难
r: 学生喜欢这门课
翻译为￢p∨q→￢r
(完整word版)离散数学符号表.doc
《离散数学》符号表 全称量词（任意量词） 存在量词 ├断定符（公式在L 中可证） ╞满足符（公式在 E 上有效，公式在 E 上可满足）┐命题的“非”运算 ∧命题的“合取”（“与”）运算 ∨命题的“析取”（“或”，“可兼或”）运算 →命题的“条件”运算 命题的“双条件”运算的 A B命题A与B等价关系 A B 命题 A 与 B 的蕴涵关系 A 公式 A的对偶公式 wff 合式公式 iff 当且仅当 V 命题的“不可兼或”运算（“异或门” ） ↑命题的“与非” 运算（“与非门”） ↓命题的“或非”运算（“或非门” ） □模态词“必然” ◇模态词“可能” φ空集 ∈属于（不属于） A （·）集合 A 的特征函数 P（A）集合 A 的幂集 A 集合 A 的点数 A A A （A n）集合A的笛卡儿积
R 2 R R ( R n R n 1 ) 关系 R 的“复合” R 阿列夫零 阿列夫 包含 真包含 ∪ 集合的并运算 ∩ 集合的交运算 - （～） 集合的差运算 集合的对称差运算 m m 同余加 m m 同余乘 〡 限制 [ x] R 集合关于关系 R 的等价类 A/ R 集合 A 上关于 R 的商集 R ( A) 集合 A 关于关系 R 的划分 R (A) 集合 A 关于划分 的关系 [a] 元素 a 产生的循环群 [a] R 元素 a 形成的 R 等价类 C r 由相容关系 r 产生的最大相容类 I 环，理想 Z /( n) 模 n 的同余类集合 a b(mod k) a 与 b 模 k 相等 r ( R) 关系 R 的自反闭包 s( R) 关系 R 的对称闭包
命题符号化
命题符号化 (1) 杭州不是中国的首都。 (2) 张三虽然学习努力但成绩并不优秀。 解 (1) 令P：杭州是中国的首都。 则命题“杭州不是中国的首都”符号化为：┐P (2) 令P：张三学习努力。Q：张三成绩优秀。 则命题“张三虽然学习努力但成绩并不优秀。” 符号化为：P∧┐Q。 合取运算特点：只有参与运算的二命题全为真时，运算结果才为真，否则为假。自然语言中的表示“并且”意思的联结词，如“既…又…”、“不但…而且…”、“虽然…但是…”、“一面…一面…”等都可以符号化为∧。注意：不要见到“与”或“和”就使用联结词∧！ 下列命题符号化 (1) 北京不仅是中国的首都而且是一个故都 p：北京是中国的首都。 q：北京是一个故都。 p∧q：北京是中国的首都并且是一个故都。 （2）牛启飞和林妹妹是好朋友 P:牛启飞和林妹妹是好朋友 (3) 王晓既用功又聪明. (4) 王晓不仅聪明，而且用功.
(5) 王晓虽然聪明，但不用功. (6) 张辉与王丽都是三好生. (7) 张辉与王丽是同学. 解令 p：王晓用功，q：王晓聪明，则 (3) p∧q (4) p∧q (5) p∧q. 令 r : 张辉是三好学生，s :王丽是三好学生 (6) r∧s. (7) 令 t : 张辉与王丽是同学， t 是简单命题 . 设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是素数
2014年高考一轮复习数学教案：1.2 逻辑联结词与四种命题
1.2 逻辑联结词与四种命题 ●知识梳理 1.逻辑联结词 （1）命题：可以判断真假的语句叫做命题. （2）逻辑联结词：“或”“且”“非”这些词叫做逻辑联结词. （3）简单命题与复合命题：不含逻辑联结词的命题叫简单命题；由简单命题和逻辑联结词构成的命题叫做复合命题. （4）真值表：表示命题真假的表叫真值表. 2.四种命题 （1）四种命题 原命题：如果p ，那么q （或若p 则q ）；逆命题：若q 则p ； 否命题：若?p 则?q ；逆否命题：若?q 则?p . （2）四种命题之间的相互关系 这里，原命题与逆否命题，逆命题与否命题是等价命题. ●点击双基 1.由“p :8+7=16，q :π＞3”构成的复合命题，下列判断正确的是 A.p 或q 为真，p 且q 为假，非p 为真 B.p 或q 为假，p 且q 为假，非p 为真 C.p 或q 为真，p 且q 为假，非p 为假 D.p 或q 为假，p 且q 为真，非p 为真 解析：因为p 假，q 真，由复合命题的真值表可以判断，p 或q 为真，p 且q 为假，非p 为真. 答案：A 2.（2004年福建，3）命题p :若a 、b ∈R ，则|a |+|b |＞1是|a +b |＞1的充分而不必要条件； 命题q :函数y =2|1|--x 的定义域是（－∞，－1］∪［3，+∞），则 A.“p 或q ”为假 B.“p 且q ”为真 C. p 真q 假 D. p 假q 真 解析：∵|a +b |≤|a |+|b |， 若|a |+|b |＞1，不能推出|a +b |＞1，而|a +b |＞1，一定有|a |+|b |＞1，故命题p 为假.
离散数学第一章命题逻辑知识点总结
数理逻辑部分 第1章命题逻辑 命题符号化及联结词 命题: 判断结果惟一的陈述句 命题的真值: 判断的结果 真值的取值: 真与假 真命题: 真值为真的命题 假命题: 真值为假的命题 注意: 感叹句、祈使句、疑问句都不是命题，陈述句中的悖论以及判断结果不惟一确定的也不是命题。 简单命题(原子命题)：简单陈述句构成的命题 复合命题：由简单命题与联结词按一定规则复合而成的命题 简单命题符号化 用小写英文字母p, q, r, … ,p i,q i,r i (i≥1）表示 简单命题 用“1”表示真，用“0”表示假 例如，令p：是有理数，则p 的真值为 0 q：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 是简单命题 . 说明:
离散数学符号
《离散数学》符号表 ? 全称量词（任意量词） ? 存在量词 ├ 断定符（公式在L 中可证） ╞ 满足符（公式在E 上有效，公式在E 上可满足） ┐ 命题的“非”运算 ∧ 命题的“合取”（“与”）运算 ∨ 命题的“析取”（“或”，“可兼或”）运算 → 命题的“条件”运算 ? 命题的“双条件”运算的 B A ? 命题A 与B 等价关系 B A ? 命题A 与B 的蕴涵关系 *A 公式A 的对偶公式 wff 合式公式 iff 当且仅当 V 命题的“不可兼或”运算（ “异或门” ） ↑ 命题的“与非” 运算（ “与非门” ） ↓ 命题的“或非”运算（ “或非门” ） □ 模态词“必然” ◇ 模态词“可能” φ 空集 ∈ 属于（?不属于） A μ（·） 集合A 的特征函数 P （A ） 集合A 的幂集 A 集合A 的点数 n A A A ??? （n A ） 集合A 的笛卡儿积
R R R =2 )(1R R R n n -= 关系R 的“复合” 0? 阿列夫零 ? 阿列夫 ? 包含 ? 真包含 ∪ 集合的并运算 ∩ 集合的交运算 - （～） 集合的差运算 ⊕ 集合的对称差运算 m + m 同余加 m ? m 同余乘 〡 限制 R x ][ 集合关于关系R 的等价类 A /R 集合A 上关于R 的商集 )(A R π 集合A 关于关系R 的划分 )(A R π 集合A 关于划分π的关系 ][a 元素a 产生的循环群 R a ][ 元素a 形成的R 等价类 r C 由相容关系r 产生的最大相容类 I 环，理想 )/(n Z 模n 的同余类集合 )(mod k b a ≡ a 与b 模k 相等 )(R r 关系R 的自反闭包 )(R s 关系R 的对称闭包
离散数学第二章一阶逻辑知识点总结
数理逻辑部分 第2章一阶逻辑 2.1 一阶逻辑基本概念 个体词（个体）: 所研究对象中可以独立存在的具体或抽象的客体个体常项：具体的事物，用a, b, c表示 个体变项：抽象的事物，用x, y, z表示 个体域: 个体变项的取值范围 有限个体域，如{a, b, c}, {1, 2} 无限个体域，如N, Z, R, … 全总个体域: 宇宙间一切事物组成 谓词: 表示个体词性质或相互之间关系的词 谓词常项：F(a)：a是人 谓词变项：F(x)：x具有性质F 一元谓词: 表示事物的性质 多元谓词(n元谓词, n≥2): 表示事物之间的关系 如L(x,y)：x与y有关系L，L(x,y)：x≥y，… 0元谓词: 不含个体变项的谓词, 即命题常项或命题变项 量词: 表示数量的词 全称量词?: 表示任意的, 所有的, 一切的等 如?x 表示对个体域中所有的x
存在量词?: 表示存在, 有的, 至少有一个等 如?x表示在个体域中存在x 一阶逻辑中命题符号化 例1 用0元谓词将命题符号化 要求：先将它们在命题逻辑中符号化，再在一阶逻辑中符号化(1) 墨西哥位于南美洲 在命题逻辑中, 设p:墨西哥位于南美洲 符号化为p, 这是真命题 在一阶逻辑中, 设a：墨西哥，F(x)：x位于南美洲 符号化为F(a) 例2 在一阶逻辑中将下面命题符号化 (1)人都爱美; (2) 有人用左手写字 分别取(a) D为人类集合, (b) D为全总个体域 . 解：(a) (1) 设G(x)：x爱美, 符号化为?x G(x) (2) 设G(x)：x用左手写字, 符号化为?x G(x) (b) 设F(x)：x为人，G(x)：同(a)中
离散数学考试题详细答案
离散数学考试题(后附详细答案) 一、命题符号化(共6小题,每小题3分,共计18分) 1.用命题逻辑把下列命题符号化 a)假如上午不下雨,我去瞧电影,否则就在家里读书或瞧报。 设P表示命题“上午下雨”,Q表示命题“我去瞧电影”,R表示命题“在家里读书”,S表示命题“在家瞧报”,命题符号化为:(?P?Q)∧(P?R∨S) b)我今天进城,除非下雨。 设P表示命题“我今天进城”,Q表示命题“天下雨”,命题符号化为:?Q→P或?P→Q c)仅当您走,我将留下。 设P表示命题“您走”,Q表示命题“我留下”,命题符号化为: Q→P 2.用谓词逻辑把下列命题符号化 a)有些实数不就是有理数 设R(x)表示“x就是实数”,Q(x)表示“x就是有理数”,命题符号化为: ?x(R(x) ∧?Q(x)) 或??x(R(x) →Q(x)) b)对于所有非零实数x,总存在y使得xy=1。 设R(x)表示“x就是实数”,E(x,y)表示“x=y”,f(x,y)=xy, 命题符号化为: ?x(R(x) ∧?E(x,0) →?y(R(y) ∧E(f(x,y),1)))) c) f 就是从A到B的函数当且仅当对于每个a∈A存在唯一的b∈B,使得f(a)=b、 设F(f)表示“f就是从A到B的函数”, A(x)表示“x∈A”, B(x)表示“x∈B”,E(x,y)表示“x=y”, 命题符号化为:F(f)??a(A(a)→?b(B(b) ∧ E(f(a),b) ∧?c(S(c) ∧ E(f(a),c) →E(a,b)))) 二、简答题(共6道题,共32分) 1.求命题公式(P→(Q→R))?(R→(Q→P))的主析取范式、主合取范式,并写出所有成真赋 值。(5分) (P→(Q→R))?(R→(Q→P))?(?P∨?Q∨R)?(P∨?Q∨?R) ?((?P∨?Q∨R)→(P∨?Q∨?R)) ∧ ((P∨?Q∨?R) →(?P∨?Q∨R))、 ?((P∧Q∧?R)∨ (P∨?Q∨?R)) ∧ ((?P∧Q∧R) ∨(?P∨?Q∨R)) ?(P∨?Q∨?R) ∧(?P∨?Q∨R) 这就是主合取范式 公式的所有成真赋值为000,001,010,100,101,111,故主析取范式为 (?P∧?Q∧?R)∨(?P∧?Q∧R)∨(?P∧Q∧?R)∨(P∧?Q∧?R)∨(P∧?Q∧R)∨(P∧Q∧R) 2.设个体域为{1,2,3},求下列命题的真值(4分) a)?x?y(x+y=4) b)?y?x (x+y=4) a) T b) F 3.求?x(F(x)→G(x))→(?xF(x)→?xG(x))的前束范式。(4分) ?x(F(x)→G(x))→(?xF(x)→?xG(x)) ??x(F(x)→G(x))→(?yF(y)→?zG(z))??x(F(x)→G(x))→?y?z(F(y)→G(z)) ??x?y?z((F(x)→G(x))→ (F(y)→G(z))) 4.判断下面命题的真假,并说明原因。(每小题2分,共4分) a)(A?B)－C=(A-B) ?(A-C) b)若f就是从集合A到集合B的入射函数,则|A|≤|B| a) 真命题。因为(A?B)－C=(A?B)?~C=(A?~C)?(B?~C)=(A-C)?(B-C) b) 真命题。因为如果f就是从集合A到集合B的入射函数,则|ranf|=|A|,且ranf?B,故命题 成立。
第三讲逻辑联结词与四种命题充要条件
名师作业练全能 第三讲逻辑联结词与四种命题充要条件班级________ 姓名___________ 考号 __________ 日期__________ 得分___________ 一、选择题：(本大题共6小题，每小题6分，共36分，将正确答案的代号填在题后的 括号内.) 1. (2010天津)命题“若f(x)是奇函数，贝U f(—x)是奇函数”的否命题是() A .若f(x)是偶函数，则f(—x)是偶函数 B ?若f(x)不是奇函数，则f( —x)不是奇函数 C.若f( —x)是奇函数，则f(x)是奇函数 D ?若f( —x)不是奇函数，则f(x)不是奇函数 解析：否命题是既否定题设又否定结论?因此否命题应为“若函数f(x)不是奇函数，则 f(—X)不是奇函数”. 答案：B 2. (2011大庆模拟)若命题p：x€ M U N,则綈p是() A . x?M? N B . x?M 或x?N C. x?M 且x?N D . x€ M n N 解析：x€ M U N, 即卩x€ M 或x€ N, ???綈p：x?M 且x?N. 答案：C 3. (2011北京东城区模拟)已知命题p, q，若p且q为真命题，则必有() A . p真q真 B . p假q假 C. p真q假 D . p假q真 答案：A 4. (2011东城区)设命题p：x>2是X2>4的充要条件，命题q：若字电，则a>b.则( ) A .“ p或q”为真 B .“ P且q”为真 C . p真q假 D . p, q均为假命题 2 2 a b 解析：依题意，由x>2? X2>4，而X2>4D?/X>2，所以命题p是假命题，又由二>二，两C C 边同时乘以c2得a>b，所以命题q正确，所以选择 A. 答案：A 5. 有下列四个命题： ①“若x+ y= 0,则x、y互为相反数”的否命题;
数理逻辑中的命题符号化
数理逻辑中的命题符号化的几个值得注意的问题 组长：学号： 组员：学号： 组员：学号： 日期
数理逻辑是离散数学的重要组成部分，也是计算机科学的基础之一。数理逻辑要解决的一个主要问题就是如何用数学的方法来研究判断和推理的问题，而要想将逻辑推理的方法准确地应用到实际问题中去，并在相应的数理逻辑运算体系下进行正确的推理从而获得准确的结论，其首要前提就是对普通语言文字所描述的命题进行正确的符号化，也就是将现实的问题准确地翻译成数理逻辑体系下的数学语言，即是要解决好命题符号化的问题。 1深刻理解逻辑联结词的含义 正确使用逻辑联结词，尤其是条件联结词在命题逻辑学中，对命题进行符号化时常用下列五个联结词：否定、合取、析取、条件、双条件等五个联结词。只有在准确地理解逻辑联结词的含义的基础上，才能做到正确地使用逻辑联结词并将命题符号化。所以将命题符号化的前提是要深刻地理解逻辑联结词的含义，上述五个逻辑联结词的含义具体如下： 1．1否定：设P为一命题，则P的否定是一个新命题，记作P。若P为真（T）时，﹃P为假（F）；若P为假（F）时，﹃P为真（T）。﹃称作否定联结词。它是日常语言中的“非”、“不是”、“并非”等词汇的逻辑抽象。 1．2合取：设P、Q是两个命题，P与Q的合取是一个复合命题，记作P∧Q。当且仅当P、Q同时为真（T）时，P∧Q为真（T），在其他情况下，P∧Q的真值都为假（F）。∧称作合取联结词，它是日常语言中的“并且”、“也”、“不但…而且”、“既…又…”等词汇的逻辑抽象。 1．3析取：设P、Q是两个命题，P与Q的析取是一个复合命题，记作P∨Q。当且仅当P、Q同时为假（F）时，P∨Q的真值为假（F），在其他情况下，P∨Q的真值都为真（T）。∨称作析取联结词，它是日常语言中的“或者”、“要么”等词汇的逻辑抽象。 1．4条件：设P、Q是两个命题，其条件命题是一个复合命题，记作P→Q。当且仅当P的真值为真（T），Q的真值为假（F）时，P →Q的真值为假（F），在其他情况下，P→Q的真值都为真（T）。P →Q又被称为蕴含式，其中称P为前件，Q为后件，→称为条件联结词。它是日常语言中的“如果…就…”、“如果…那么…”、“…则…”等词汇的逻辑抽象。 1．5双条件：设P、Q是两个命题，其复合命题PQ称作双条件命题，当P和Q的真值相同时，P圮Q得真值为真（T），否则P圮Q的真值为假（F）。圮称作双条件联结词，它是日常语言中的“当且仅当”、“充分必要条件”、“相当于”、“…和…一样”、“等价”等词汇
离散数学符号大全
├断定符（公式在L中可证） ╞满足符（公式在E上有效，公式在E上可满足）┐命题的“非”运算 ∧命题的“合取”（“与”）运算 ∨命题的“析取”（“或”，“可兼或”）运算 → 命题的“条件”运算 A<=>B 命题A 与B 等价关系 A=>B 命题A与B的蕴涵关系 A* 公式A 的对偶公式 wff 合式公式 iff 当且仅当 ↑ 命题的“与非” 运算（“与非门” ） ↓ 命题的“或非”运算（“或非门” ） □模态词“必然” ◇模态词“可能” φ 空集 ∈属于（??不属于） P（A）集合A的幂集 |A| 集合A的点数 R^2=R○R [R^n=R^(n-1)○R] 关系R的“复合” ∪集合的并运算 ∩集合的交运算
- （～）集合的差运算 〡限制 [X](右下角R) 集合关于关系R的等价类 A/ R 集合A上关于R的商集 [a] 元素a 产生的循环群 I (i大写) 环，理想 Z/(n) 模n的同余类集合 r(R) 关系R的自反闭包 s(R) 关系的对称闭包 CP 命题演绎的定理（CP 规则） EG 存在推广规则（存在量词引入规则） ES 存在量词特指规则（存在量词消去规则）UG 全称推广规则（全称量词引入规则）US 全称特指规则（全称量词消去规则） R 关系 r 相容关系 R○S 关系与关系的复合 domf 函数的定义域（前域） ranf 函数的值域 f:X→Y f是X到Y的函数 GCD(x,y) x,y最大公约数 LCM(x,y) x,y最小公倍数
aH(Ha) H 关于a的左（右）陪集 Ker(f) 同态映射f的核（或称f同态核）[1，n] 1到n的整数集合 d(u,v) 点u与点v间的距离 d(v) 点v的度数 G=(V,E) 点集为V，边集为E的图 W(G) 图G的连通分支数 k(G) 图G的点连通度 △（G) 图G的最大点度 A(G) 图G的邻接矩阵 P(G) 图G的可达矩阵 M(G) 图G的关联矩阵 C 复数集 N 自然数集（包含0在内） N* 正自然数集 P 素数集 Q 有理数集 R 实数集 Z 整数集 Set 集范畴 Top 拓扑空间范畴 Ab 交换群范畴
四种命题与充条件
常用逻辑用语与充要条件 【高考考情解读】 1.本讲在高考中主要考查集合的运算、充要条件的判定、含有一个量词的命题的真假判断与否定，常与函数、不等式、三角函数、立体几何、解析几何、数列等知识综合在一起考查.2.试题以选择题、填空题方式呈现，考查的基础知识和基本技能，题目难度中等偏下． 1．命题的定义 用语言、符号或式子表达的，可以判断真假的陈述句叫做命题．其中判断为真的语句叫真命题，判断为假的语句叫假命题． 2．四种命题及其关系 (1)原命题为“若p则q”，则它的逆命题为若q则p ；否命题为若┐p则┐q ；逆否命题为若┐q则┐p . (2)原命题与它的逆否命题等价；逆命题与它的否命题等价．四种命题中原命题与逆否命题同真同假，逆命题与否命题同真同假，遇到复杂问题正面解决困难的，采用转化为反面情况处理，即，可以转化为判断它的逆否命题的真假． 命题真假判断的方法： (1)对于一些简单命题，若判断其为真命题需推理证明．若判断其为假命题只需举出一个反例． (2)对于复合命题的真假判断应利用真值表． (3)也可以利用“互为逆否命题”的等价性，判断其逆否命题的真假． 3．充分条件与必要条件的定义 (1)若p?q且q p，则p是q的充分非必要条件． (2)若q?p且p q，则p是q的必要非充分条件． (3)若p?q且q?p，则p是q的充要条件． (4)若p q且q p，则p是q的非充分非必要条件． 设集合A＝{x|x满足条件p}，B＝{x|x满足条件q}，则有
(1)若A?B，则p是q的充分条件，若A?B，则p是q的充分不必要条件； (2)若B?A，则p是q的必要条件，若B?A，则p是q的必要不充分条件； (3)若A＝B，则p是q的充要条件； (4)若A B，且B A，则p是q的既不充分也不必要条件． 2．充分、必要条件的判定方法 (1)定义法，直接判断若p则q、若q则p的真假． (2)传递法． (3)集合法：若p以集合A的形式出现，q以集合B的形式出现，即A＝{x|p(x)}，B＝{x|q(x)}，则①若A?B，则p是q的充分条件；②若B?A，则p是q的必要条件；③若A＝B，则p是q 的充要条件． (4)等价命题法：利用A?B与┐B?┐A，B?A与┐A?┐B，A?B与┐B?┐A的等价关系，对于条件或结论是否定式的命题，一般运用等价法，利用原命题和逆否命题是等价的这个结论，有时可以准确快捷地得出结果，是反证法的理论基础． 1．简单的逻辑联结词 (1)命题中的“且”、“或”、“非”叫作逻辑联结词． (2)简单复合命题的真值表： p q ┐p ┐q p或q p且 q ┐(p或q) ┐(p且 q) ┐p或 ┐q ┐p且 ┐q 真真假假真真假假假假 真假假真真假假真真假 假真真假真假假真真假 假假真真假假真真真真 2. 全称量词与存在量词 (1)常见的全称量词有“任意一个”“一切”“每一个”“任给”“所有的”等． (2)常见的存在量词有“存在一个”“至少有一个”“有些”“有一个”“某个”“有 的”等． 3．全称命题与特称命题 (1)含有全称量词的命题叫全称命题． (2)含有存在量词的命题叫特称命题． 4．命题的否定 (1)全称命题的否定是特称命题；特称命题的否定是全称命题．
命题与逻辑联结词知识点
命题与逻辑联结词 一、命题与逻辑联结词 1、命题定义 可以判断真假的语句叫“命题” 2、分类 简单命题 复合命题（由简单命题与逻辑联结词构成） p 或q ：q p ∨ p 且q ：q p ∧ 非p ：p ?（命题p 的否定） 3、判断复杂命题的真假 一真或真，一假且假. 4、四种命题 （1）原命题. 若p ，则q . （2）逆命题 若q ，则p . （3）否命题 若p ?，则q ?. （4）逆否命题 若q ?，则p ?. 5、四种命题关系 （1）原命题与逆否命题同真同假. （2）逆命题与否命题同真同假. 6、命题的否定与否命题. （1）命题的否定：（只否定结论）. p 表示命题，非p 叫做命题的否定； 若p 则q ，则命题的否定为：若p 则q ? （2）否命题（既否定条件，又否定结论） 若p 则q 的否命题为： 若p ?则q ?. 二、充分条件与必要条件. 1、充分条件 若q p ?，则p 是q 的充分条件（q 的充分条件p ） 2、必要条件 若q p ?，则q 是p 的充分条件（p 的充分条件q ） 3、充要条件 若q p ?且p q ?（或q p ?）则p 是q 的充要条件。 4、充分条件与必要条件判定 （1）数轴法 （2）集合法
（3）等价法 三：全称量词与存在量词 1、 全称量词：“所有的”.“任意一个”.“每个”，用“?”表示。 存在量词：“存在一个”.“至少有一个”.“有些”，用“?”表示. 2、 全称命题（含有全称量词的命题）：();,x p M x ∈? 特称命题（含有存在量词的命题）：().,00x p M x ∈? 3、含有一个量词的命题的否定. 命题 命题的否定 ()X P M x ,∈? ()00,x p M x ?∈? ()00,x p M x ∈? ()x p M x ?∈?, 4、一些常用正面描述的词语的否定形式： 正面词语 = > < 是 都是 一定 否定词语 ≠ ≤ ≥ 不是 不都是 不一定 正面词语 至多有一个 至少有一个 至多有n 个 至少有n 个 P 或q P 且q 否定词语 至少有两个 一个也没有 至少有n +1个 至多有n -1个 非p 且非q 非p 或非q
离散数学-第1章-习题解答
习题1.1 1. 下列句子中，哪些是命题？哪些不是命题？如果是命题，指出它的真值。 ⑴中国有四大发明。 ⑵计算机有空吗? ⑶不存在最大素数。 ⑷21+3＜5。 ⑸老王是山东人或河北人。 ⑹2与3都是偶数。 ⑺小李在宿舍里。 ⑻这朵玫瑰花多美丽呀! ⑼请勿随地吐痰! ⑽圆的面积等于半径的平方乘以p。 ⑾只有6是偶数，3才能是2的倍数。 ⑿雪是黑色的当且仅当太阳从东方升起。 ⒀如果天下大雨，他就乘班车上班。 解：⑴⑶⑷⑸⑹⑺⑽⑾⑿⒀是命题，其中⑴⑶⑽⑾是真命题，⑷⑹⑿是假命题，⑸⑺⒀的真值目前无法确定；⑵⑻⑼不是命题。 2. 将下列复合命题分成若干原子命题。 ⑴李辛与李末是兄弟。 ⑵因为天气冷，所以我穿了羽绒服。 ⑶天正在下雨或湿度很高。 ⑷刘英与李进上山。 ⑸王强与刘威都学过法语。 ⑹如果你不看电影，那么我也不看电影。 ⑺我既不看电视也不外出，我在睡觉。 ⑻除非天下大雨，否则他不乘班车上班。 解：⑴本命题为原子命题； ⑵p：天气冷；q：我穿羽绒服； ⑶p：天在下雨；q：湿度很高； ⑷p：刘英上山；q：李进上山； ⑸p：王强学过法语；q：刘威学过法语； ⑹p：你看电影；q：我看电影； ⑺p：我看电视；q：我外出；r：我睡觉； ⑻p：天下大雨；q：他乘班车上班。 3. 将下列命题符号化。 ⑴他一面吃饭，一面听音乐。 ⑵3是素数或2是素数。
⑶若地球上没有树木，则人类不能生存。 ⑷8是偶数的充分必要条件是8能被3整除。 ⑸停机的原因在于语法错误或程序错误。 ⑹四边形ABCD是平行四边形当且仅当它的对边平行。 ⑺如果a和b是偶数，则a+b是偶数。 解：⑴p：他吃饭；q：他听音乐；原命题符号化为：p∧q ⑵p：3是素数；q：2是素数；原命题符号化为：p∨q ⑶p：地球上有树木；q：人类能生存；原命题符号化为：p→q ⑷p：8是偶数；q：8能被3整除；原命题符号化为：p?q ⑸p：停机；q：语法错误；r：程序错误；原命题符号化为：q∨r→p ⑹p：四边形ABCD是平行四边形；q：四边形ABCD的对边平行；原命题符号化为：p?q。 ⑺p：a是偶数；q：b是偶数；r：a+b是偶数；原命题符号化为：p∧q→r 4. 将下列命题符号化，并指出各复合命题的真值。 ⑴如果3+3=6，则雪是白的。 ⑵如果3+3≠6，则雪是白的。 ⑶如果3+3=6，则雪不是白的。 ⑷如果3+3≠6，则雪不是白的。 ⑸3是无理数当且仅当加拿大位于亚洲。 ⑹2+3=5的充要条件是3是无理数。(假定是10进制) ⑺若两圆O1，O2的面积相等，则它们的半径相等，反之亦然。 ⑻当王小红心情愉快时，她就唱歌，反之，当她唱歌时，一定心情愉快。 解：设p：3＋3＝6。q：雪是白的。 ⑴原命题符号化为：p→q；该命题是真命题。 ⑵原命题符号化为：p→q；该命题是真命题。 ⑶原命题符号化为：p→q；该命题是假命题。 ⑷原命题符号化为：p→q；该命题是真命题。 ⑸p：3是无理数；q：加拿大位于亚洲；原命题符号化为：p?q；该命题是假命题。 ⑹p：2+3＝5；q：3是无理数；原命题符号化为：p?q；该命题是真命题。 ⑺p：两圆O1,O2的面积相等；q：两圆O1,O2的半径相等；原命题符号化为：p?q；该命题是真命题。 ⑻p：王小红心情愉快；q：王小红唱歌；原命题符号化为：p?q；该命题是真命题。
命题符号化
命题符号化(1) 杭州不是中国的首都。 (2) 张三虽然学习努力但成绩并不优秀。 解 (1) 令P：杭州是中国的首都。 则命题“杭州不是中国的首都”符号化为：┐P (2) 令P：张三学习努力。Q：张三成绩优秀。 则命题“张三虽然学习努力但成绩并不优秀。” 符号化为：P∧┐Q。 合取运算特点：只有参与运算的二命题全为真时，运算结果才为真，否则为假。自然语言中的表示“并且”意思的联结词，如“既…又…”、“不但…而且…”、“虽然…但是…”、“一面…一面…”等都可以符号化为∧。注意：不要见到“与”或“和”就使用联结词∧！ 下列命题符号化 (1) 北京不仅是中国的首都而且是一个故都 p：北京是中国的首都。 q：北京是一个故都。 p∧q：北京是中国的首都并且是一个故都。 （2）牛启飞和林妹妹是好朋友 P:牛启飞和林妹妹是好朋友 (3) 王晓既用功又聪明. .
王晓不仅聪明，而且用功 (4) . (5) 王晓虽然聪明，但不用功. (6) 张辉与王丽都是三好生. (7) 张辉与王丽是同学：王晓聪明，则 p：王晓用功，q解令 q ∧ (3) pq ∧ (4) p∧q. (5) p令 r : 张辉是三好学生，s :王丽是三好学生 (6) r∧s. (7) 令 t : 张辉与王丽是同学， t 是简单命题 . 设p,q为二命题，复合命题“p或q”称为p与q的析取式，记作p ∨ q，符号∨称为析取联结词。 将下列命题符号化 (1) 2或4是素数. (2) 2或3是素数. (3) 4或6是素数. (4) 小元元只能拿一个苹果或一个梨. (5) 王晓红生于1975年或1976年. 是素数, s: 6是素数, r: 4是素数, q: 3是素数 p: 2令 解．
高三第一轮复习数学---逻辑联结词与四种命题
高三第一轮复习数学---逻辑联结词与四种命题 一、教学目标：了解命题的概念和命题的构成；理解逻辑联结词“或”“且”“非”的含义； 理解四种命题及其互相关系；反证法在证明过程中的应用． 二、教学重点：复合命题的构成及其真假的判断，四种命题的关系． 三、教学过程： （一）主要知识： （一）逻辑联结词 1．命题：可以判断真假的语句叫做命题 2．逻辑联结词：“或（∨）”、“且（∧）”、“非（┐）”这些词叫做逻辑联结词。 或：两个简单命题至少一个成立 且：两个简单命题都成立， 非：对一个命题的否定 3．简单命题与复合命题：不含逻辑联结词的命题叫做简单命题；由简单命题与逻辑联结词构成的命题叫做复合命题。 4．表示形式：用小写的拉丁字母p 、q 、r 、s …来表示简单的命题， 复合命题的构成形式有三类：“p 或q ”、“p 且q ”、“非p ” 5． 1．一般地，用p 和q 分别表示原命题的条件和结论，用┐p 和┐q 分别表示p 和q 的否定。于是四种命题的形式为： 原命题：若p 则q （q p ?） 逆命题：若q 则p )(p q ? 否命题：若┐p 则┐q )(q p ??? 逆否命题：若┐q 则┐p )(p q ??? 2．四种命题的关系： 3．一个命题的真假与其它三个命题的真假有如下四条关系： （1）原命题为真，它的逆命题不一定为真。 （2）原命题为真，它的否命题不一定为真。 （3）原命题为真，它的逆否命题一定为真。 互 逆 互 为 为 否 逆 逆 互 互 互 逆
（4）逆命题为真，否命题一定为真。 （三）几点说明 1．逻辑联结词“或”的理解是难点，“或”有三层含义： 以“P 或q ”为例：一是p 成立但q 不成立，二是p 不成立但q 成立，三是p 成立且q 成立， 2．对命题的否定只是否定命题的结论，而否命题既否定题设又否定结论 3．真值表 P 或q ：“一真为真”， P 且q ：“一假为假” 4．互为逆否命题的两个命题等价，为命题真假判定提供一个策略。 5．反证法运用的两个难点：1）何时使用反证法 2）如何得到矛盾。 （二）主要方法： 1．逻辑联结词“或”“且”“非”与集合中的并集、交集、补集有着密切的关系，解题时注意类比； 2．通常复合命题“p 或q ”的否定为“p ?且q ?”、“p 且q ”的否定为“p ?或q ?”、“全为”的否定是“不全为”、“都是”的否定为“不都是”等等； 3．有时一个命题的叙述方式比较的简略，此时应先分清条件和结论，该写成“若p ，则q ”的形式； 4．反证法中出现怎样的矛盾，要在解题的过程中随时审视推出的结论是否与题设、定义、定理、公理、公式、法则等矛盾，甚至自相矛盾． （三）例题分析： 例1．已知复合命题形式，指出构成它的简单命题， （1）等腰三角形顶角的角平分线垂直平分底边， （2）垂直于弦的直径平分这条弦且平分弦所对的两条弧， （3）34≥ （4）平行四边形不是梯形 解：（1）P 且q 形式，其中p ：等腰三角形顶角的角平分线垂直底边， q ：等腰三角形顶角的角平分线平分底边； （2）P 且q 形式，其中p ：垂直于弦的直径平分这条弦， q ：垂直于弦的直径平分这条弦所对的两条弧 （3）P 或q 形式，其中p ：4＞３，q ：４＝３ （4）非p 形式：其中p ：平行四边形是梯形。 练习1（变式1）分别写出下列各组命题构成的“p 或q ”、“p 且q ”、“非p ”形式的复合命题 （1）p ：5是有理数，q ：5是无理数 （2）p ：方程x 2+2x-3=0的两根符号不同，q ： 方程x 2+2x-3=0的两根绝对值不同。 例2．（四种命题之间的关系）写出下列命题的逆命题、否命题、逆否命题，并判断它们的真假。 （1）若q<1，则方程x 2+2x+q=0有实根，（2）若ab=0，则a=0或b=0，（3）若x 2+y 2=0，则x 、y 全为零。 解：（1）逆命题：若方程x 2+2x+q=0有实根，则q<1，（假） 否命题：若q ≥1，则方程x 2+2x+q=0无有实根，（假） 逆否命题：若方程x 2+2x+q=0无实根，则q ≥1，（真） （2）逆命题：若a=0或b=0，则ab=0，（真） 否命题：若ab ≠0，则a ≠0且 b ≠0，（真） 逆否命题：若a ≠0且 b ≠0，则ab ≠0，（真） （3）逆命题：若x 、y 全为零，则x 2+y 2=0（真）
2011高考数学单元复习训练3：逻辑联结词与四种命题
课时训练3 逻辑联结词与四种命题 【说明】 本试卷满分100分，考试时间90分钟. 一、选择题（每小题6分，共42分） 1.命题“若a>b,则a-5>b-5”的逆否命题是（ ） A.若a 我们把表示具体命题及表示常命题的p，q，r，s等与f，t统称为命题常元（proposition constant）。深入的讨论还需要引入命题变元（proposition variable）的概念，它们是以“真、假”或“1，0”为取值范围的变元，为简单计，命题变元仍用p，q，r，s等表示。相同符号的不同意义，容易从上下文来区别，在未指出符号所表示的具体命题时，它们常被看作变元。 命题常元、变元及联结词是形式描述命题及其推理的基本语言成分，用它们可以形式地描述更为复杂的命题。下面我们引入高一级的语言成分——命题公式。 定义1.1 以下三条款规定了命题公式（proposition formula）的意义： （1）命题常元和命题变元是命题公式，也称为原子公式或原子。 （2）如果A，B是命题公式，那么（┐A），（A∧B），（A∨B），（A→B），（A？B）也是命题公式。 （3）只有有限步引用条款（1），（2）所组成的符号串是命题公式。 命题公式简称公式，常用大写拉丁字母A，B，C等表示。公式的上述定义方式称为归纳定义，第四章将对此定义方式进行讨论。 例1.8 （┐（p→（q∧r）））是命题公式，但（qp），p→r，p1∨p2∨…均非公式。 为使公式的表示更为简练，我们作如下约定： （1）公式最外层括号一律可省略。 （2）联结词的结合能力强弱依次为┐，（∧，∨），→，？，（∧，∨）表示∧与∨平等。 （3）结合能力平等的联结词在没有括号表示其结合状况时，采用左结合约定。 例如，┐p→q∨（r∧q∨s）所表示的公式是（（┐p）→（q∨（（r∧q）∨s））） 设A是命题公式，A1是A 的一部分，且A1也是公式，则A1称为公式A的子公式。 如对公式A：┐p→q∨（r∧q∨s），则p，┐p ，q ，（r∧q∨s）及q∨（r∧q∨s）都是公式A的子公式，而┐q，┐p→q，虽然是公式，但确不是A的一部分，因此不是A 的子公式；q∨（r∧虽然是公式A的一部分，但不是公式，因而也不是A的子公式。 如果公式A含有命题变元p1，p2，…，pn，记为A（p1，…，pn），并把联结词看作真值运算符，那么公式A可以看作是p1，…，pn的真值函数。对任意给定的p1，…，pn 的一种取值状况，称为指派（assignments），用希腊字母a，b等表示，A均有一个确定的真值。当A对取值状况a 为真时，称指派a弄真A，或a是A的成真赋值，记为a （A）= 1；反之称指派a弄假A，或a是A的成假赋值，记为a （A）= 0.对一切可能的指派， 说明： 定义：红色表示。 定理性质：橙色表示。 公式：蓝色表示。 算法:绿色表示 页码：灰色表示 数理逻辑： 1.命题公式：命题，联结词(，，，，)，合式公式，子公式 2.公式的真值：赋值，求值函数，真值表，等值式，重言式，矛盾式 3.范式：析取范式，极小项，主析取范式，合取范式，极大项，主合取范式 4.联结词的完备集：真值函数，异或，条件否定，与非，或非，联结词完备集 5.推理理论：重言蕴含式，有效结论，P规则，T规则， CP规则，推理 6.谓词与量词:谓词，个体词，论域，全称量词，存在量词 7.项与公式:项，原子公式，合式公式，自由变元，约束变元，辖域，换名，代入 8.公式语义:解释，赋值，有效的，可满足的，不可满足的 9.前束范式:前束范式 10.推理理论:逻辑蕴含式，有效结论，-规则（US），+规则（UG），-规则(ES)， +规则(EG), 推理 集合论： 1.集合: 集合, 外延性原理, , , , 空集, 全集, 幂集, 文氏图, 交, 并, 差, 补, 对称差 2.关系: 序偶, 笛卡尔积, 关系, domR, ranR, 关系图, 空关系, 全域关系, 恒等关 系 3.关系性质与闭包:自反的, 反自反的, 对称的, 反对称的, 传递的,自反闭包 r(R), 对称闭包 s(R), 传递闭包 t(R) 4.等价关系: 等价关系, 等价类, 商集, 划分 5.偏序关系:偏序, 哈斯图, 全序(线序), 极大元/极小元, 最大元/最小元, 上界/下 界 6.函数: 函数, 常函数, 恒等函数, 满射,入射,双射，反函数, 复合函数 7.集合基数:基数, 等势, 有限集/无限集, 可数集, 不可数集 代数结构： 1.运算及其性质：运算，封闭的,可交换的,可结合的,可分配的,吸收律, 幂等的，幺 元,零元,逆元 2.代数系统：代数系统，子代数，积代数，同态，同构。 3.群与子群：半群,子半群,元素的幂，独异点，群，群的阶数，子群,平凡子群，陪集， 拉格朗日（Lagrange）定理 4.阿贝尔群和循环群：阿贝尔群(交换群)，循环群,生成元 5.环与域：环，交换环，含幺环，整环，域 6.格与布尔代数：格，对偶原理，子格，分配格，有界格，有补格，布尔代数，有限 布尔代数的表示定理 图论： 1.图的基本概念：无向图、有向图、关联与相邻、简单图、完全图、正则图、子图、 补图，握手定理，图的同构 2.图的连通性:通路，回路，简单通路，简单回路（迹）初级通路（路径），初级回路 （圈），点连通，连通图，点割集，割点，边割集，割边，点连通度，边连通度，弱连通图，单向连通图，强连通图，二部图（二分图） 3.图的矩阵表示：关联矩阵，邻接矩阵，可达矩阵 4.欧拉图与哈密顿图：欧拉通路、欧拉回路、欧拉图、半欧拉图，哈密顿通路、哈密 顿回路、哈密顿图、半哈密顿图 5.无向树与根树：无向树，生成树，最小生成树，Kruskal，根树，m叉树，最优二叉 树，Huffman算法 6.平面图:平面图，面，欧拉公式，Kuratoski定理离散数学自学笔记命题公式及其真值表
离散数学知识点