命题及其关系概要.ppt

* * 事例:主人邀请张三、李四、王五三个人吃饭聊天，时间到了，只有张三和李四两人准时赶到，王五打来电话说：“临时有急事，不能来了。”主人听了随口说了句：“你看看，该来的没有来。”张三听了，脸色一沉，起来一声不吭地走了；主人愣了片刻，又道：“哎，不该走的又走了。”李四听了大怒，拂袖而去。你能用逻辑学原理解释这两人离去的原因吗？ 逻辑是研究思维形式和规律的科学。 数学是思维科学，逻辑与数学的联系是天然的。 数学是一门逻辑性很强的学科，表述数学概念和结论、进行推理和论证都要使用逻辑用语。学习一些常用的逻辑用语，可以使我们正确理解数学概念、合理论证数学结论、准确表达数学内容。 都是陈述句 都能判断真假 一般地，在数学中我们把用语言、符号或式子表达的，可以判断真假 的陈述句叫做命题 判断为真的语句叫真命题 判断为假的语句叫假命题 判断语句是否是命题的依据：(1)是否为陈述句；(2)能否判断真假 例1:判断下列语句是否是命题？若是，指出真假。 (1)求证lg2是无理数 (2)在三角形中大角对大边，小角对小边 (3)空集是任何集合的子集 (4)指数函数是增函数吗？ (5)若整数a是素数，则a是奇数 (6)若空间两条直线不相交，则这两条直线平行 (7)若x∈R，则x2+4x+70 (8)x15 (祈使句，不是命题） (真命题） (真命题） (疑问句，不是命题） (假命题） (假命题） (真命题） (不能判断真假，不是命题） 思考：上述命题(5)~(7)从结构上看有什么共同特征？ 都是“若…，则…”型的结构 命题：若空间两条直线不相交，则这两条直线平行 如：垂直于同一直线的两个平面平行 可改写为：若两个平面垂直于同一条直线，则这两个平面平行 p q “若p，则q”形式命题： 1、命题中的p叫命题的条件，命题中的q叫命题的结论 2、“若p，则q”形式命题也可以写成“如果p，那么q”或 “只要p，就有q”等形式 3、“若p，则q”是真命题，可记作：p?q 4、有些命题表面上不是“若p，则q”的形式，但可改写成这种形式 例2:将下列命题改写为“若p，则q”的形式： (1)负数的立方是负数 (2)对顶角相等 (3)等腰三角形两腰的中线相等 (4)偶函数的图像关于y轴对称 (5)当a0时，函数y=ax+b的值随x的增大而增大 若一个数是负数，则这个数的立方是负数 若两个角互为对顶角，则这两个角相等 若三角形是等腰三角形，则这个三角形两腰的中线相等 若一个函数是偶函数，则这个函数的图像关系y轴对称 若a0，则函数y=ax+b的值随x增大而增大 当a0时，若x增大，则函数y=ax+b的值增大 例3:指出下列命题中的条件p和结论q： (1)若整数a能被2整除，则a是偶数 (2)菱形的两条对角线互相垂直且平分 条件p:整数a能被2整除 结论q: a是偶数 条件p:四边形是菱形 结论q: 四边形的两对角线互相垂直且平分 命题1：若f(x)是正弦函数，则f(x)是周期函数 命题2：若f(x)是周期函数，则f(x)是正弦函数 命题3：若f(x)不是正弦函数，则f(x)不是周期函数 命题4：若f(x)不是周期函数，则f(x)不是正弦函数 p q q p 一、观察命题1与命题2的条件与结论之间的关系 一般地，对于两个命题，如果一个命题的条件和结论分别是另一个命 题的结论和条件，那么我们把这两个命题叫互逆命题，其中一个叫原命题， 另一个叫原命题的逆命题 原命题：若p，则q 逆命题：若q，则p 思考1：举出一些互逆命题的例子，并判断原命题与逆命题的真假 思考2：互逆命题的真假是否存在相关性？ 命题1：若f(x)是正弦函数，则f(x)是周期函数 命题2：若f(x)是周期函数，则f(x)是正弦函数 命题3：若f(x)不是正弦函数，则f(x)不是周期函数 命题4：若f(x)不是周期函数，则f(x)不是正弦函数 p q q p ? p ? q 二、观察命题1与命题3的条件与结论之间的关系 一般地，对于两个命题，如果一个命题的条件和结论恰好是另一个命 题的条件和结论的否定，那么我们把这两个命题叫互否命题，其中一个叫 原命题，另一个叫原命题的否命题 原命题：若p，则q 否命题：若? p，则? q 思考1：举出一些互否命题的例子，并判断原命题与否命题的真假 思考2：互否命题的真假是否存在相关性？ 命题1：若f(x)是正弦函数，则f(x)是周期函数 命题2：若f(x)是周期函数，则f(x)是正弦函数 命题3：若f(x)不是正弦函数，则f(x