集合与简易逻辑(整理)

集合与简易逻辑

一．集合的有关概念 1．集合

①定义：某些指定的对象集在一起就成为一个集合，每个对象叫做集合的元素。 ②表示方法

列举法：将集合中的元素一一列举出来，用大括号括起来，如{a,b,c} 描述法：将集合中的元素的共同属性表示出来，形式为：P={x ∣P(x)}.

如：}1),({},1{},1{-=-=-=x y y x x y y x y x

图示法：用文氏图表示题中不同的集合。 ③分类：有限集、无限集、空集。 ④性质 确定性：A a A a ∉∈

或必居其一，

互异性：不写{1，1，2，3}而是{1，2，3}，集合中元素互不相同， 无序性：{1，2，3}={3，2，1}

2．常用数集

复数集C 实数集R 整数集Z 自然数集N 正整数集*

N （或N +） 有理数集Q 3．元素与集合的关系：A a A a ∈∉或

4．集合与集合的关系：

①子集：若对任意A x ∈都有B x ∈[或对任意B x ∉都有A x ∉] 则A 是B 的子集。 记作：A B B A ⊇⊆或 C A C B B A ⊆⇒⊆⊆,

②真子集：若

B A ⊆，且存在A x B x ∉∈00,但，则A 是B 的真子集。

记作：A

B[或“B A B A ≠⊆

且”] A

B ，B

C A C

③

B A A B B A =⇔⊆⊆且

④空集：不含任何元素的集合，用φ表示，对任何集合A 有A ⊆φ，若φ≠A 则φ

A

注：}{}0{}{φφφ≠≠≠a a

5．子集的个数 若

},,{21n a a a A =，则A 的子集个数、真子集的个数、非空真子集的个数分别为2n 个，2n -1个和2n -2个。

二．集合的运算 1．有关概念 ①交集：}{B x A x x B A ∈∈=且 ②并集：}{B x A x x B A ∈∈=⋃或

③全集：如果集合S 含有我们所要研究的各个集合的全部元素，这个集合就可以看作一个全集，通常用U 表示。 ④补集：}{A x U x x A C U ∉∈=且

A

B

A B

A B

A B A

B

A B

A

U C U A

2．常用运算性质及一些重要结论

①A B B A A A A A ===φφ ②A B B A A

A A

A A ===φ

③C B A C B A C B A ==)()( C B A C B A C B A ==)()( ④)()()(C A B A C B A = )()()(C A B A C B A =

⑤

U A C A A C A U U == φ

⑥

B A B B A B

A A

B A ⊆⇔=⊆⇔=

⑦)()()()()()(B C A C B A C B C A C B A C U U U U U U ==

⑧)()()()(B A Card B Card A Card B A Card -+=

三．含有绝对值不等式

1、绝对值的意义：（其几何意义是数轴的点A （a ）离开原点的距离a OA =）()()()⎪⎩

⎪

⎨⎧<-=>=0,0,00,a a a a a a

2、含有绝对值不等式的解法：（解绝对值不等式的关键在于去掉绝对值的符号） （1）定义法；

（2）零点分段法：通常适用于含有两个及两个以上的绝对值符号的不等式； （3）平方法：通常适用于两端均为非负实数时（比如()()x g x f <）

； （4）图象法或数形结合法；(如讨论a x x =--122的解有个数)

（5）不等式同解变形原理：即

()a x a a a x <<-⇔><0 ()a x a x a a x -<>⇔>>或0

()c b ax c c c b ax <+<-⇔><+0 ()c b ax c b ax c c b ax -<+>+⇔>>+或0

()()()()()x g x f x g x g x f <<-⇔< ()()()()()()x g x f x g x f x g x f <>⇔>或 ()()()()a x f b b x f a a b b x f a -<<-<<⇔>><<或0

3、不等式的解集都要用集合形式表示，不要使用不等式的形式。 四．一元二次不等式

1、二次函数、一元二次方程、一元二次不等式的联系。（见课本P20）

2、利用二次函数图象的直观性来研究一元二次方程根的性质和一元二次不等式解集及变化，以及含字母的有关问题的讨论，渗透数形结合思想。（见P21~22）

3、解一元二次不等式的步骤： （1）将不等式化为标准形式()002

≥>++c bx ax 或()002≤<++c bx ax

(2)解方程02

=++c bx ax

(3)据二次函数

c bx ax y ++=2的图象写出二次不等式的解集。

4、简单分式不等式的解法

()()()()()001>⋅⇔>x g x f x g x f ()()()

()()002<⋅⇔<x g x f x g x f

()()()()()()⎩

⎨⎧≠≥⋅⇔≥0003x g x g x f x g x f ()()()()()()⎩⎨

⎧≠≤⋅⇔≤0

004x g x g x f x g x f 5、简单的高次不等式的解法：用数轴标根法解。 五、逻辑联结词与四种命题 （一）逻辑联结词四种命题

1．命题：可以判断真假的语句叫做命题

2．逻辑联结词：“或（∨）”、“且（∧）”、“非（┐）”这些词叫做逻辑联结词。

或：两个简单命题至少一个成立 且：两个简单命题都成立， 非：对一个命题的否定

3．简单命题与复合命题：不含逻辑联结词的命题叫做简单命题；由简单命题与逻辑联结词构成的命题叫做复合命题。 4．表示形式：用小写的拉丁字母p 、q 、r 、s …来表示简单的命题，

复合命题的构成形式有三类：“p 或q ”、“p 且q ”、“非p ”

5．真值表：表示命题真假的表叫真值表；复合命题的真假可通过下面的真值表来加以判定。

（二）四种命题

1．一般地，用p 和q 分别表示原命题的条件和结论，用┐p 和┐q 分别表示p 和q 的否定。于是四种命题的形式为：