1 / 62
文档名称:

§13 简单的逻辑联结词、全称量词与存在量词.ppt

格式:ppt   大小:6,565KB   页数:62页
下载后只包含 1 个 PPT 格式的文档,没有任何的图纸或源代码,查看文件列表

如果您已付费下载过本站文档,您可以点这里二次下载

分享

预览

§13 简单的逻辑联结词、全称量词与存在量词.ppt

上传人:3239657963 2016/8/8 文件大小:6.41 MB

下载得到文件列表

§13 简单的逻辑联结词、全称量词与存在量词.ppt

文档介绍

文档介绍:山东金榜苑文化传媒集团山东金榜苑文化传媒集团简单的逻辑联结词、全称量词与存在量词步步高大一轮复****讲义步步高大一轮复****讲义主页常用逻辑用语命题及其关系简单的逻辑联结词充分条件必要条件充要条件量词命题充分条件充要条件必要条件且∧全称量词?存在量词?全称命题特称命题或∨ p∧qp∨q p ?qp ?qp ?q?p或?q 非?四种命题原命题:若 p则q逆命题:若 q则p 否命题:若?p则?q逆命题:若?q则?p 互逆互逆互否互否互为逆否等价关系四种命题的相互关系主页(2) 命题 p∧q,p∨q,¬p的真假判断 pqp∧qp∨q ¬p 真真真假假真假假真真假假真假假真真假假真 1. 简单的逻辑联结词(1) 命题中的“_____ ”、“_____ ”、“____ ”,一假必假同假才假,一真必真真假分明忆一忆知识要点主页 “对所有的”“对任意一个”全称量词?, ( ) x M p x ??“存在一个”“至少有一个”?存在量词 0 0 , ( ) x M p x ? ?忆一忆知识要点主页 (1) 含有一个量词的命题的否定命题命题的否定?x∈M,p(x)?x 0∈M,p(x 0) ?x 0∈ M , ¬p(x 0)?x∈M, ¬p(x) 全称命题的否定是特称命题;特称命题的否定是全称命题. 忆一忆知识要点(2) p或q, p且q的否定 p?q的否定 p?q 的否定 p q ??? p q ???(3) 一般命题的否定只否定结论命题的否定平行四边形的对角线相等且互相平分命题平行四边形的对角线不相等或不互相平分主页忆一忆知识要点 (=)大于(>)小于(<)是否定词语不等于(≠) 不大于(≤)不小于(≥)不是不都是都是正面词语至多有一个至少有一个任意的所有的否定词语至少有两个一个也没有某个某些正面词语至多有 n个任意两个否定词语至少有 n+ 1个某两个主页[ 4, 0] ?C A 所有的三角形都不是等边三角形 5 4 3 2 1 答案题号①②主页含有逻辑联结词命题的真假判断含有逻辑联结词命题的真假判断 1 4 , q q (1) 判断含有逻辑联结词的复合命题的真假,关键是对逻辑联结词“且”“或”“非”含义的理解. (2) 解决该类问题的基本步骤是: ①弄清构成复合命题中简单命题 p和q 的真假; ②明确其构成形式; ③: (1) p∨q : 1 是素数或是方程 x 2+2x-3=0的根. 真命题. p∧q:1既是素数又是方程 x 2+2x-3=. ?p:(3) p∨q:方程 x 2+x-1=0的两实根的符号相同或绝对值相等. 假命题. p∧q:方程 x 2+x-1=. ?p:方程 x 2+x-1=0的两实根的符号不相同. 真命题. (2) p∨q:. p∧q:. ?p:.