1、第一章 常用逻辑用语1、命题1、 定义：可以判断真假的陈述语句，分为真命题和假命题.2pq、 一 般 形 式 ： “若 则 ”.2、四种命题 qpqp原 命 题 ： 若 则逆 命 题 ： 若 则否 命 题 ： 若 则逆 否 命 题 ： 若 则例：原：若一个数是负数，则它的平方是正数.(真)逆：若一个数的平方是正数，则这个数是负数.(假)否：若一个数不是负数，则它的平方不是正数.(假)逆否：若一个数的平方不是正数，则这个数不是负数.(真)结论: 互为逆否的命题同真，同假.原命题与逆命题、原命题与否命题的真假无关.3、充分条件与必要条件1,pqqpp pq、 若 称 是 的 充 分 条 件 ， 是
2、 的 必 要 条 件 .2、 若 称 不 是 的 充 分 条 件 ， 不 是 的 必 要 条 件、 若 而 且 记 作 “”称 是 的 充 分 必 要 条 件 ， 简 称 是 的 充 要 条 件 .pqpq注 ： 可 以 借 助 集 合 关 系 来 判 定 ：是 的 充 分 条 件 .是 的 充 分 不 必 要 条 件 .例：四 、 复 合 命 题 真 假 的 表 格 .1、 2、 3、5、全称量词、存在量词 01:,pxMP、 全 称 命 题它 的 否 定00:,pxMP2、 特 称 命 题它 的 否 定例 ： “四 边 形 都 有 外 接 圆 ”:, .PABCDD四 边 形 都 有 、 、 、 共 圆 全 称 命 题 011+=2.ACABCD四 边 形 其 中 ， 其 中 、 、 、 不 共 圆 特 称 命 题200xRx“存 在 ， 使 +“:P， 使2xx，“福 州 人 ”“福 建 人 ”集 合福 州 人 福 建 人 命 题福 州 人 是 福 建 人 的 充 分 条 件 .“福 建 人 ”是 “福 州 人 ”的 必 要 条 件
