1.1.3命题及其关系.pptVIP

交换原命题的条件和结论，所得的命题是________ 同时否定原命题的条件和结论，所得的命题是________ 交换原命题的条件和结论，并且同时否定，所得的命题是__________ 原命题,逆命题,否命题,逆否命题 四种命题形式: 原命题: 逆命题: 否命题: 逆否命题: 若 p, 则 q 若 q, 则 p 若┐p, 则┐q 若┐q, 则┐p 判断正误,并说明理由: 否命题与命题的否定 练习1：若a2能被2整除，a是整数， 求证：a也能被2整除. 证：假设a不能被2整除，则a必为奇数， 故可令a=2m+1(m为整数), 由此得 a2=(2m+1)2=4m2+4m+1=4m(m+1)+1, 此结果表明a2是奇数， 这与题中的已知条件（a2能被2整除）相矛盾, ∴a能被2整除. * * 第一章 常用逻辑用语 1.1.3 四种命题间的相互关系 逆命题。 否命题。 逆否命题。 回顾 (1)若原命题是“对顶角相等”, 它的否命题是“对顶角不相等”。 (2)若原命题是“对顶角相等”, 它的否命题是“不成对顶关系的 两个角不相等”。 否命题是用否定条件也否定结论的方式构成新命题。 命题的否定是逻辑联结词“非”作用于判断,只否定结论不否定条件。 对于原命题: 若 p , 则 q 有 否命题: 若┐p , 则┐q 。 命题的否定: 若 p ，则┐q 。 例 设原命题是“当c 0 时，若a b ，则ac bc ”，写出它的逆命题、否命题、逆否命题，并分别判断它们的真假： 解： 逆命题：当c 0 时，若ac bc ，则a b． 逆命题为真． 否命题：当c 0 时，若a ≤b ，则ac ≤ bc ． 否命题为真． 逆否命题：当c 0 时，若ac ≤ bc ，则a ≤b ． 逆否命题为真． 至多有n个 小于 对任何x， 不成立 对所有x,成立 至少有n个 大于 至多有一个 都是 至少有一个 是 反设词 原结论 反设词 原结论 准确地作出反设(即否定结论)是非常重要的，下面是一些常见的结论的否定形式. ? 不是 不都是 不大于 大于或等于 一个也没有 至少有两个 至多有（n-1)个 至少有（n+1)个 存在某x， 不成立 存在某x， 成立 原命题 若p 则q 逆命题 若q 则p 否命题 若 则 逆否命题 若 则 互 逆 互 逆 互 否 互 否 互为 逆否 互为 逆否 四种命题之间的相互关系 原命题的真假与其它三种命题的真假有什么关系？ 逆命题:角的平分线上的点,到这个角的 两边距离相等. 否命题:到一个角的两边距离不相等的点, 都不在这个角的平分线上.逆否命题:不在这个角的平分线上的点,到这 个角的两边距离不相等. (1)到一个角的两边距离相等的点,都在 这个角的平分线上. 原命题 (F) 逆命题 (真) 否命题 (真) 逆否命题 (F) . 逆命题:两个三角形的面积相等,则它们全等. 否命题:两个三角形不全等,则它们的面积不 相等. 逆否命题:两个三角形的面积不相等,则它们 不全等. (2)两个三角形全等,则它们的面积相等. 原命题 (真) 逆命题 (假) 否命题 (假) 逆否命题 (真)  逆命题: 对顶角相等. 否命题: 不相等的角不是对顶角. 逆否命题: 不是对顶角就不相等. (3)相等的角是对顶角 原命题 (假) 逆命题 (真) 否命题 (真) 逆否命题 (假)   逆命题: 凡奇数都是质数. 否命题: 不是质数就不是奇数. 逆否命题: 不是奇数就不是质数. (4)凡质数都是奇数. 原命题 (假) 逆命题 (假) 否命题 (假) 逆否命题 (假)  原命题与逆命题未必同真假. 原命题与否命题未必同真假. 原命题与逆否命题一定同真假. 原命题的逆命题与原命题的否命题一定同真假. 几条结论: 即：四种命题的真假,有且只有下面四种情况: 假 假 假 假 假 真 真 假 真 假 假 真 真 真 真 真 逆否命题 否命题 逆命题 原命题 1） 原命题