1.1命题和量词.pptVIP

全称命题中常用的全称量词有哪些？ 如何判断一个全称命题的真假？ * 命 题 常用逻辑用语 “数学是思维的科学” 逻辑是研究思维形式和规律的科学. 逻辑用语是我们必不可少的工具. 通过学习和使用常用逻辑用语,掌握常用逻辑用语的用法,纠正出现的逻辑错误,体会运用常用逻辑用语表述数学内容的准确性、简捷性. 思考 ? 下列语句的表述形式有什么特点?你能判断它们的真假吗? (1)若直线a∥b,则直线a和直线b无公共点; (2)2+4=7; (3)垂直于同一条直线的两个平面平行; (4)若x2=1,则x=1; (5)两个全等三角形的面积相等; (6)3能被2整除. 以上均为陈述句,(1)(3)(5)为真,(2)(4)(6)为假. 命题的概念 一般地,在数学中,我们把用语言、符号或式子表达的,可以判断真假的陈述句叫做命题. 其中判断为真的语句叫做真命题,判断为假的语句叫做假命题. (1) 并不是任何语句都是命题，只有那些能够判断真假 的语句才是命题。一般来说，疑问句、祈使句、感叹句都不是命题。 如：“三角函数是周期函数吗？”“但愿每一个三次方程都有三个实数根”“指数函数的图象真漂亮！”等。 (2)在数学或其他科学技术中，还有一类陈述句也经常出现，“每一个不小于6的偶数都是两个奇素数之和”“在2020年，将有人登上火星”等。 虽然目前还不能确定这些语句的真假，但是随着科学技术的发展和时间的推移，总能确定它们的真假，人们把这一类猜想仍算作命题。 一个命题，一般可以用一个小写英文字母来表示，如：p，q，r，……. 例1 判断下列语句中哪些是命题？是真命题还是假命题？ (1)空集是任何集合的子集; (2)若整数a是素数，则a是奇数; (3)指数函数是增函数吗？ (4)若空间中两条直线不相交，则这两条直线平行; (5) ; (6)x15. （7）祝大家新年快乐！ 真命题 真命题 假命题 假命题 判断 一个语句是不是命题，关键判断：（1）是否为陈述句；（2）能否判断真假。 残酷的命令: 前苏联1941年8月16日签发的第270号命令做出了如下决定：所有苏联战俘都是叛国者。指挥员和政工人员的家属都将被镇压；战士的家属不再享受应有的特惠。 叛国者的罪名使一代又一代人受辱， 使无罪的人也遭受痛苦的折磨…… 1.全称量词与全称命题定义: 短语“所有的”在陈述中表示所述事物的全体,在逻辑中通常叫全称量词。含有全称量词的命题叫全称命题。 用符号 表示 2.存在量词与存在性命题定义: 短语“有些”、“至少有一个”、在陈述 中表示所 述事物的个体或部分 ,在逻辑中通常叫做存在量词。 含存在量词的命题叫存在性命题 用符号 表示 全程命题”对所有整数x,x2-1是整数” 1.全称量词与全称命题定义: 短语“所有的”在陈述中表示所述事物的全体,在逻辑中通常叫全称量词。 含有全称量词的命题叫全称命题 注意 (1)全称命题是陈述某集合中所有元素都具有某种性质的命题, 强调命题一般性 (2)全称命题一般形式及表示: 对M中任意一个x,p(x),简记为: 全程命题”对所有整数x,x2-1是整数” 2.存在量词与存在性命题定义: 短语“有些”、“至少有一个”、在陈述中表 示所述事物的个体或部分 ,在逻辑中通常叫做存 在量词。 含存在量词的命题叫存在性命题 (1)存在性命题是陈述某集合中有(存在)一些元素具有某种性质的命题 (2)存在性命题一般形式及表示: “存在集合M中的一个x,p(x)记为: 注意 陈述集合中哪些元素具有性质 符号表示 一般形式 定义 存在性命题 全称命题 两种量词（命题）之间的区别和联系 含有全称量词的命题 含有存在量词的命题 对M中任意一个x,p(x) 存在M中的一个x,p(x) 所有 个体或部分 存在性命题中常用的存在量词有哪些？ “所有”、“任意一个”、“每一个”、 “任给一个”、“一切” “有些”、“至少有一个”、 “存在一个”、“有一个” 表 述 方 法 ”存在性命题“ ” 全称命题“ ” 命 题 所有的 对一切 任选一 对每一个 凡 存在 至少有一个 对有些 对某个 有一 要证 假 要证 真 如何判断一个存在性命题的真假？ 对集合M中每一个元 素x,证明P(x)成立 在集合M中找一个元素x0,证明P(x