1/2集合、简易逻辑知识梳理：1、集合：某些指定的对象集在一起就构成一个集合。集合中的每一个对象称为该集合的元素。元素与集合的关系：Aa或Aa集合的常用表示法：列举法、描述法。集合元素的特征：确定性、互异性、无序性。常用一些数集及其代号：非负整数集或自然数集N；正整数集*N，整数集Z；有理数集Q；实数集R2、子集：如果集合A的任意一个元素都是集合B的元素，那么集合A称为集合B的子集，记为AB3、真子集：如果AB，并且BA，那么集合A成为集合B的真子集，记为AB，读作“A真包含于B或B真包含A”，如：baa,。注：空集是任何集合的子集。是非空集合的真子集结论：设集合A中有n个元素，则A的子集个数为n2个，真子集个数为12n个4、补集：设AS，由S中不属于A的所有元素组成的集合称为S的子集A的补集，记为ACs，读作“A在S中的补集”，即ACs=AxSxx且,|。5、全集：如果集合S包含我们所要研究的各个集合，这时S可以看作一个全集。通常全集记作U。6、交集：一般地，由所有属于集合A且属于B的元素构成的集合，称为A与B的交集，记作BA即：BA=BxAxx且,|。7、并集：一般地，由所有属于集合A或属于B的元素构成的集合，称为A与B的并集，记作BA即：BA=BxAxx或,|。记住两个常见的结论：BAABA；ABABA；9、命题：可以判断真假的语句叫做命题。（全称命题特称命题）⑴全称量词——“所有的”、“任意一个”等，用“”表示；全称命题p：)(,xpMx；全称命题p的否定p：)(,xpMx。⑵存在量词——“存在一个”、“至少有一个”等，用“”表示；特称命题p：)(,xpMx；特称命题p的否定p：)(,xpMx；10、“或”、“且”、“非”这些词叫做逻辑联结词；不含有逻辑联结词的命题是简单命题；由简单命题和逻辑联结词“或”、“且”、“非”构成的命题是复合命题。构成复合命题的形式：p或q；p且q；非p(记作┑q)。11、“或”、“且”、“非”的真值判断：2/2非p与p真假相反；“p且q”：同真才真，一假即假；“p或q”：同假才假，一真即真12、命题的四种形式与相互关系：?原命题：若P则q；?逆命题：若q则p；?否命题：若┑P则┑q；?逆否命题：若┑q则┑p?原命题与逆否命题互为逆否命题，同真假；?逆命题与否命题互为逆否命题，同真假；13、从逻辑推理关系上看：若qp，则p是q的充分条件，q是p的必要条件，即“前者为后者的充分，后者为前者的必要”。若qp，则p是q的充分必要条件，简称p是q的充要条件。若qp，且qp，那么称p是q的充分不必要条件。若pq，且qp，那么称p是q的必要不充分条件。若pq，且qp，那么称p是q的既不充分又不必要条件。从集合与集合之间的关系上看：条件p、q对应集合分别为A、B，则若BA，则p是q的充分条件，若BA，则p是q的充分非必要条件若BA，则p是q的必要条件，若BA，则p是q的必要非充分条件若A=B，则p是q的充要条件若ABBA且，则p是q的非充分必要条件原命题,pq若则逆命题,qp若则逆否命题,qp若非则非否命题,pq若非则非互为逆命题互为逆命题互为逆否命题互为否命题互为否命题
