常用逻辑用语课件.ppt

《常用逻辑用语课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、歌德是18世纪德国的一位著名文艺大师，一天，他与一位批评家“狭路相逢”，这位文艺批评家生性古怪，遇到歌德走来，不仅没有相让，反而卖弄聪明，一边高傲地往前走。一边大声说道：“我从来不给傻子让路！”面对如此尴尬的局面，歌德只是笑笑，一边谦恭的闪在一旁，一边有礼貌回答道“呵呵，我可恰恰相反。”你能分析此故事中歌德与批评家的言行语句吗？批评家：（1）我不给傻子让路，（2）你歌德是傻子，（3）我不给你让路。歌德：（1）我给傻子让路，（2）你批评家是傻子，（3）我给你让路。常用逻辑用语“数学是思维的科学”逻辑是研究思维形式和规律的科学

2、.逻辑用语是我们必不可少的工具.通过学习和使用常用逻辑用语,掌握常用逻辑用语的用法,纠正出现的逻辑错误,体会运用常用逻辑用语表述数学内容的准确性、简捷性.命题的概念一般地,在数学中,我们把用语言、符号或式子表达的,可以判断真假的陈述句叫做命题.其中判断为真的语句叫做真命题,判断为假的语句叫做假命题.1.1.1命题例1判断下列语句中哪些是命题？是真命题还是假命题？(1)空集是任何集合的子集;(2)若整数a是素数，则a是奇数;(3)一次函数的图象是直线吗？(4)若平面内两条直线不相交，则这两条直线平行;(5);(6)x>15.

3、真命题真命题真命题假命题思考?下列语句是命题吗?(1)x>15;(2)2x+1=3;(3)x能被2和3整除.（1）有些语句中含有变量，在没有给出这些变量的值之前无法判断语句的真假，这种含有变量的语句叫开语句(条件命题),开语句不是命题.注意：(2)一般地，将含有变量x的语句（开语句）用p(x)、q(x)…..表示，如p(x)：x>7等，对p(x)赋予变量x某一确定的值或其它限制条件，开语句成为命题，如p(5)：5>7；（1）全校所有的学生都参加了校运会；（2）所有的中国公民的合法权利都受到中国宪法的保护；（3）每一个中国公

4、民都有遵守宪法的义务；（4）任何中国公民都不能违背中华人民共和国宪法；观察下列命题：（5）对任意的实数x，都有x2≥0；（6）存在能被3和5都整除.1.1.2量词1.全称量词：表示全体的量词在逻辑中称为全称量词.“所有”、“任意”、“每一个”等读作：“对任意x”记作：2.全称命题：含有全称量词的命题称为全称命题.其一般形式为：M为给定的集合，p(x)是M中所有元素都具有的性质判断全称命题的真假：（1）所有的素数是奇数;（2）x∈R,x2+1≥1;（3）对每个无理数x，x2也是无理数.要判定全称命题“x∈M,p(x)”是真命

5、题，需要对集合M中每个元素x,证明p(x)成立；如果在集合M中找到一个元素x0,使得p(x0)不成立，那么这个全称命题就是假命题.如何判断一个全称命题的真假？观察下列命题:有的平行四边形是菱形;有一个素数不是奇数;有的平行四边形的四个内角都是直角;存在一个函数,图象不关于原点对称;有一些实数不能做分母.3.存在量词：表示个体或部分的量词在逻辑中称为存在量词.“至少有一个”、“存在一个”、“有些”、“有的”读作：“存在x”记作：4.存在性命题(特称命题)：含有存在量词的命题称为存在性命题.其一般形式为：M为给定的集合，p(x

6、)是M中有（存在）一些元素具有的性质.读作：存在一个x属于M，使p(x)成立判断存在性命题的真假：（1）有一个实数x，使x2+2x+3=0;（2）存在两个相交平面垂直于同一条直线;（3）有些数只有两个正因数;（4）存在实数x，使≤0;（5）存在整数x能被3和5都整除.要判定存在性命题“x∈M,p(x)”是真命题，只需在集合M中找到一个元素x,使p(x)成立即可，如果在集合M中，使p(x)成立的元素x不存在，则存在性命题是假命题.如何判断一个存在性命题的真假？课堂小结两种命题的含义2.要判断一个存在性命题为真，只要在给定的集

7、合中，找到一个元素x，使p(x)为真，否则命题为假.1.要判断一个全称命题为真，必须对给定的集合中的每一个元素x，使p(x)为真；要判断一个全称命题为假，只要在给定的集合中找到一个元素x，使p(x)为假.例2.判断下列命题的真假：（1）（2）（3）（4）例与练例1.用量词符号表示下列命题：（1）任意一个实数的绝对值都是非负数；（2）存在一个自然数x，使真假真假思考1：下列命题之间有什么关系?(1)12能被3整除;(2)12能被4整除;(3)12能被3整除且能被4整除一般的,用逻辑联结词”且”把命题p和命题q联结起来，就得到

8、一个新命题，记作读作“p且q”．思考2:p且q的真假与的p,q真假有什么关系?简记为:一假必假结论:当p,q都是真命题时;是真命题;当p,q两个命题中有一个是假命题时,是假命题.简单命题简单命题复合命题例1:将下列命题用“且”联结成新命题,并判断它们的真假：(1)p:菱形的对角线互相垂直,q:菱形的对角