TALLER - Proposiciones cuantificadas. x Determine el valor de verdad de los S siguientes enunciados, si x Az {1,2,3} 1.xe A, x+6<8 2. dx €A; x4 5<7 3.4 x €A;xX+2 =7 : 4. MXEA; X+2<6 5. dxe A; x es primo 6. ¥xeA; x es par 7.¥xeA; x?2>1 8. ¥xeA; x+4<11 9. dl xe A; x= 4 10. Axe A; x2-4x+3=0 Negar los enunciados siguientes: 1.x 2y; p(x, y) 2. ax ¥y; p( y) 3.x Sy ¥2; p(x, y, 2) 4. ax¥y [p(x) va(y)} 5.¥x ¥y [~p0o) a q(y)] 6. Ax Ay [~p(x) > ~q(y)] 7. [Ax p(x) = ¥yq(y)] a Ex r(xjvay~q(y)] 8. FineN; n? = 25] = [¥neN; n+1>0] 9. {(4HxE R; (x4+1)?=x24+2x+1)v(Axe R; 1 {(¢xe R; x22X) a (Axe R; 2x = x)} 10. {Axe R; x+3 #10) = (AxeR; x+3>10)} v {(¥xe R; 2x+3x = 5x) a (xeR; x+3 <7)} x1 En las proposiciones siguientes determinar su valor de verdad y luego negarlas. 1. Todos los numeros pares son. compuestos y existe solamente un real neutro de la suma. 2. Todos los estudiantes son ricos o ningun hombre es deshonesto. 3. Algunos estudiantes tienen calculadora y todos la necesitan para operar exactamente. 4. Algunos soldados son cobardes pero todos aman a su patria. 5. Todos los conejos son veloces y algunos perros no Jadran, enton- ces, todas las liebres son buenas presas de caza, y algunos canes no sirven ni para cuidar. 6. Todo hombre es racional pero algunos son imprudentes, o tercos. (Axe R; x245x44=0), Axe R (x4-1)82xP43x243x41] 8 (lxe Ri x?42x41=0) >(¥xeR;x+123)a) ANA = A (idempotencia) b) ANB = B AA (conmulativa) c) AN® = © (identidad) d) An (BAC) = (ANB) mC {asociativa) e) ACB => ANB = A (inclusién) f) ANS = A (identidad) 2) Unien: La unién entre dos conjuntos es otro conjunto que tiene por elementos aquéllos que estan en el primer conjunto pero no en el se- gundo, aquélios que estan en el segundo conjunto pero no en el primero s ademas inciuye aquellos elementos que estan simultaneamente en am- bos conjuntos. El simbolo utilizado es U. Si recordamos el significado del sonectivo v (9 inclusivo),entenderemos claramente que fa unién de los sonjuntos A y B sera: AUB = {x/ xe A,v,xe B}; por tanto la unién entre Ay 3 es la reunion de los dos conjuntos, o sea que es un cunjunto cuyos ele- mentos son todos los de A y todos los de B (pero sin repetir ninguno). Asi, si A = {2, 3, 6, 8}; B = {1, 2, 4, 5, 8, 9} se tiene: AUB = (1, 2, 3, 4, 5, 8, 3}. Obsérvese cémo la unién contiene elementos como 3, 6 que estan en Ay no enB, elementos como 1, 4, 5, 9 que estan en B pero no en A, pero ademas incluye elementos como 2 y 8 que estan en ambos A y B simulta- neamente. De lo dicho se desprenden las siguientes propiedades para la uni6n: a) AVA = A (idempotencia) b) AUB = BUA (conmutativa) c) AU® = A (identidad) d) AU(BUC) = (AUB)UC (asociativa) e) AcB = ALB = B (inclusién) f) AUS = S (identidad) 3) Diferencia y complemento. La diferencia entre dos conjuntos, minuendo y sustraendo, (en ese orden) es otro conjunto que tiene por elementos aquellos que estan en el minuendo y no estan en el sustraen- do; se utiliza el simbolo convencional menos (-). Asi la diferencia entre ies conjuntos A y B sera: A-B = {x/ xe A, a, x¢B}. Ejemplo: siendo A = {2, 3,6, 8}, B= {1, 2, 4, 5, 8, 9} tenemos: A-B = {3, 8} cuyos elementos estan enAynoenB. Observemos que esta operacién No es conmutativa, es decir no puede cambiarse el orden de colocacién de los conjuntos; asi para nuestro caso: B-A = {1, 4, 5, 9}. Atencién: A-B # B-A. 35 ICESI5) OPERACIONES Considere S = {1, 2, 3, .. Jy A={1,2,3, 4}, B= (2, 4,6, 8}, C= {3, 4, 5, 6}. Halle: LN 2. ANG 3. (ANC)’ 4. ALB 5.B-C 6: ANC’ 7. (A-B)UC’ 8. ANBC’ 9. AN(BUC)- (BNC) 10. A’ (B-C’y 26) Siendo S = {5,-4,-3,-2,-1, 0, 1, 2, 3,4, 5} y A= {5,-3, 0, 1, 2, 4}, | Be £2,0,2,3,4},C=(4,-3,-1, 3}, D={-3, 0, 3, 4, 5}. Caloular: 4. {(A’- BY UC }=-{(CA)’ UB} 2. {(A-C)’- A} U(C’-D’) 3. {C’ U (B-D)} 9 (BUA) 4. {(B'-C)' — (A-D)} UC’ 7) Con A= {1, 2, 3, 475}, B ={2, 3, 4, 6}, C = (2,4, hy S= (1,23... 8, 9} confirme las leyes de De Morgan: 1. (AUB) =A’nB’ 2. (ANB) = AUB’ 28) En los diagramas de Venn que siguen, rayar: 1. AW 2W “3. W-V 4. VOW 5.VaW 6.V-W 7. V-W 8. ViAW 9. WAV ley 29) En los siguientes diagramas de Venn, raye: 1.8 2. (AUB)’ 3.B-A 4. AB 5. AB | 6.A'nB 7. AUB’ 8.BA 9.B-A 10. AUB Ba