DM_专题1：集合和二元关系.pptVIP

* * * * * * * * * * * * * * * * * * 包含等价条件的证明 例5 证明A?B ? A?B=B ? A?B=A ? A?B=? ① ② ③ ④ 证明思路： 确定问题中含有的命题：本题含有命题 ①, ②, ③, ④ 确定命题间的关系（哪些命题是已知条件、哪些命题是要证明的结论）：本题中每个命题都可以作为已知条件，每个命题都是要证明的结论 确定证明顺序：①?②，②?③，③?④，④?① 按照顺序依次完成每个证明（证明集合相等或者包含） * 证明 证明A?B ? A?B=B ? A?B=A ? A?B=? ① ② ③ ④ 证 ①?② 显然B?A?B，下面证明A?B?B. 任取x， x?A?B ? x?A?x?B ? x?B?x?B ? x?B 因此有A?B?B. 综合上述②得证. ②?③ A=A?(A?B) ? A=A?B (由②知A?B=B，将A?B用B代入) * 证明A?B ? A?B=B ? A?B=A ? A?B=? ① ② ③ ④ ③?④ 假设A?B??, 即?x?A?B，那么可知x?A且x?B. 而 x?B ? x?A?B 从而与A?B=A矛盾. ④?① 假设A?B不成立，那么 ?x(x?A?x?B) ? x?A?B ? A?B?? 与条件④矛盾. 证明 * 主要内容小结 集合的三种表示法 集合与元素之间的隶属关系、集合之间的包含关系的区别与联系 特殊集合：空集、全集、幂集 文氏图及有穷集合的计数 集合的?, ?, ?, ?, ?等运算以及广义?, ?运算 集合运算的算律及其应用 * 基本要求 熟练掌握集合的三种表示法 能够判别元素是否属于给定的集合 能够判别两个集合之间是否存在包含、相等、真包含等关系 熟练掌握集合的基本运算（普通运算和广义运算） 掌握证明集合等式或者包含关系的基本方法 * * * * * * * * * * * * * * * * * 子集反映出两个集合中元素之间的包含关系 举例 * * * * * * * * * * 一阶谓词逻辑基本概念 解：(1) 令F(x)：x是大学生；G(x)：x是二年级的； a：小王。则原句形式化为：　　　　　　　　 F(a)∧G(a)(2) 令F(x，y)：x是y的学生；a：小王；b：李老师。则原句形式化为：　　　　　　　　　F(a，b)(3) 令F(x，y)：x≤y；G(x，y)：x=y。则原句形式化为　　　　　(F(x，y)∧F(y，x))→G(x，y) 一阶谓词逻辑基本概念 此外，在一般的简单命题中，常有一些表示数量的词语，诸如“所有的”、“有一些”等等，用来表示谓词中的变量取自论域中的全体或部分个体，例如下面的两个陈述句： “对所有的x∈D，论断F(x)为真。” “对某些x∈D，论断F(x)为真。” 在谓词逻辑中，我们用量词把它们形式化。 一阶谓词逻辑基本概念 1． 全称量词 “?”　全称量词?用来表示个体域中的全体。表自然语言中的“所有的”、“任意的”、“每一个”等等。如： “任意偶数均能被2整除。” 　句子可改写成：“在偶数集合中的任意的x，x能被2整除。”　取个体域为偶数集，用F(x)表示“x能被2整除”，用? x表示“任意的x”，则原句形式化为： ? xF(x) 一阶谓词逻辑基本概念 注意 ? xF(x)表示的是“在个体域中，任意的x均有F(x)这个性质”，这是一个可以确定真值的命题。当个体域D为有穷集时：　 ? xF(x)的真值为1，当且仅当对于每一个x∈D，均有F(x)真值为1； ? xF(x)的真值为0，当且仅当至少有一个x0∈D，使得F(x0)真值为0。 一阶谓词逻辑基本概念 2． 存在量词 “?”　存在量词 ? 用来表示论域中的部分个体。表自然语言中的“存在着一些”、“至少有一个”、“有”等等。如：　“我们班有人会吸烟。”句子可改写成：“在我们班有一些x，x会吸烟。” 取个体域为“我们班的同学”，用G(x)表示“x会吸烟”，用 ? x表示“有些x”，则原句形式化为： ? xG(x)  一阶谓词逻辑基本概念 注意 ? xG(x)表示的是“在个体域中，至少有一个x具有G(