1、. 集合与常用逻辑用语集合与常用逻辑用语 集 合 与 常 用 逻 辑 用 语 集 合 概念 一组对象的全体. ,xA xA? 元素特点：互异性、无序性、确定性 关系 子集 xAxBAB? ? A? ,AB BCAC? n个元素集合子集数2n 真子集 00 ,xAxBxB xAAB? ? 相等 ,AB BAAB? 运算 交集 ?|,xxBxBAA?且 ()()() UUU CABC AC B? ()()() UUU CABC AC B? () UU CC AA? 并集 ?|,xxBxBAA?或 补集 ?| U x xUC AxA?且 常 用 逻 辑 用 语 命题 概念 能够判断真假的语句 四种
2、命题 原命题：若p，则q 原命题与逆命题，否命题与逆否命题互逆；原 命题与否命题、逆命题与逆否命题互否；原命 题与逆否命题、否命题与逆命题互为逆否。互 为逆否的命题等价 逆命题：若q，则p 否命题：若p?，则q? 逆否命题：若q?，则p? 充要 条件 充分条件 pq? ，p是q的充分条件 若命题p对应集合A，命题q对应集合B， 则pq?等价于AB?，pq?等价于 AB?。 必要条件 pq? ，q是p的必要条件 充要条件 pq?，, p q互为充要条件 逻辑 连接词 或命题 pq?，, p q有一为真即为真，, p q均为假时才为假 类比集合的并 且命题 pq?，, p q均为真时才为真，, p q有一为假即为假 类比集合的交 非命题 p?和p为一真一假两个互为对立的命题 类比集合的补 量词 全称量词 ?，含全称量词的命题叫全称命题，其否定为特称命题 存在量词 ?，含存在量词的命题叫特称命题，其否定为全称命题
