集合与逻辑推理课件.pptx

1、|,ABx xAxB 且且|,ABx xAxB 或或|,UC Ax xUxA 且且逻辑推理逻辑推理全称量词全称量词必要条件必要条件的否定的否定存在量词存在量词|1Ax x|31xBx|0ABx x AB|1ABx x AB R|1Ax x|31xBx|0ABx x AB|1ABx x AB R|1Ax x|31xBx|0ABx x AB|1ABx x AB R|1Ax x|31xBx|0ABx x AB|1ABx x AB R|0Bx x|1Ax x|31xBx|0ABx x AB|1ABx x AB 31x 033x 0 x|1|0ABx xx x|1|0ABx xx x|0 x x ，|1

2、.x x R(,)|Bx yyx AB x,y22(,)|1Ax yxy 22(,)|1Ax yxy (,)|Bx yyx AB 221xy yx yx 221xy yx 221xy yox2|Ax yx 2|By yx|,1Ax xx|,1By yy 3|0Bx x 22(,)|1Ax yxy 0,)RR=2AB 2|320Ax xx =AB A 22|2(1)(5)0Bx xaxa =2AB 2|320Ax xx 22|2(1)(5)0Bx xaxa =2AB，2320 xx 1x 2x 1,2A 2.B 2430aa ，1a 3a 1a 2|40Bx x 3a 2|440Bx xx 1

3、3=2,2，=2，2|320Ax xx =AB A 22|2(1)(5)0Bx xaxa BA=AB A，BA，B3a 0 B 3a 0 2B 3a 0 1,2BA 232(1)25aa 22.57aa ，3.a 222(1)4(5)8(3)aaa ，aBA，BA|25Axx|121Bx axa 12215aa ，33.a BA，23.a B 121aa 2a ，.BA B ，21215aa ，3.a BA|25Axx|121Bx axa =AB AB 2210axax 01a pqpqqp2210axax 01a？2210axax 01.a 01a 2210axax 2210axax 01a

4、 0a 20(2)40aaa ，2210axax 01a 2210axax 01.a 01.a 2210axax 0a 10 2(2)44(1)0aaa a 01a 01a 2210axax 2210axax 01a 2210axax 01a ,m n 0m n =mn ,m n 0m n =mn 0 =mn 180，=mn 0m n|cos180m nmn|0.mn ,m n 0m n =mn 0m n 90,180 0 =mn =mn 0m n =mn 0m n x 20 x x 0 x x 20 x 20 x 200 x 0 x 200 x 22nnn ，22nnn ，22nnn ，22nnn ，2=2nnn ，()xMp x ，()xMp x ，()xMp x ，()xMp x ，