Вы находитесь на странице: 1из 17

Captulo 8

Introduccion a la teora de Logica y Conjuntos

8.1. Logica proposicional


Muchas clases de oraciones aparecen en el lenguaje comun, incluyendo enunciados basados en hechos, opiniones, ordenes y preguntas. La logica simbolica estudia solo el primer tipo de oracion, la clase que concierne a los hechos. D EFINICI ON 8.1.1 Una proposicion(o enunciado) se dene como una oracion declarativa que es verdadera o falsa (valores de verdad), pero no ambas de manera simult nea. a

Cada una es verdadera o falsa. Sin embargo, bas ndose en esta denicion. a E JEMPLO 8.1.2 Las siguientes oraciones no son proposiciones 1. Que lindo est tu peinado! a 2. Desarrolla la gua de ejercicios 3. Qu da es el proximo certamen de MAT001? e 4. Esta frase es falsa Estas oraciones no pueden identicarse como verdaderas o falsas, la primera es una opi nion, la segunda es una orden, la tercera es una pregunta y la cuarta una paradoja; si suponemos que es verdadera, entonces es falsa, y si suponemos que es falsa, entonces es verdadera.

w w

2.

2 es racional

.M

at

em

1. La Casa Central de la USM est ubicada en el Cerro Los Placeres de Valparaso a

at

ic

a1

E JEMPLO 8.1.1 Los dos enunciados siguientes son proposiciones

.c

om

C APTULO 8. I NTRODUCCI ON A LA TEORA DE L OGICA Y C ONJUNTOS I I N OTACI ON 8.1.1 Para identicar de manera simbolica una cierta proposicion se usan letras del alfabeto como son p, q, r, s, ...etc. D EFINICI ON 8.1.2 Una proposicion compuesta puede formarse por la combinacion de dos o m s proposiciones. Las proposiciones que forman una proposicion compuesta rea ciben el nombre de componentes de la proposicion. Para la formacion de proposiciones compuestas pueden usarse varios conectivos logicos, o simplemente conectivos. Palabras como y, o, no,y si ... entonces, son ejemplos de conectivos. (Aunque una proposicion tal como Hoy no es martes consta de dos componentes, por conveniencia se considera se considera compuesta, ya que su valor de verdad se determina observando el valor de verdad de una proposicion diferente: Hoy es martes.) E JERCICIOS 8.1.1 Decida si cada proposicion es compuesta o no

4. Este texto lo escribio Ortega y Gaset. D EFINICI ON 8.1.3 Negacion: La oracion MAT024 es una asignatura impartida por el Departamento de Matem tica de la a USM es una proposicion; la negacion de esta proposicion es MAT024 no es una asignatura impartida por el Departamento de Matem tica de la USM y es una nueva proposicion. a O BSERVACI ON 8.1.1 1. Al respecto de los valores de verdad de la negacion podemos decir que si la pro posicion es verdadera su negacion es falsa y si la proposicion es falsa entonces la negacion ser verdadera, en lo referente a la notacion simbolica, si p es una proposia cion su negacion la denotaremos por p o bien, p 2. que para ciertos an lisis en matem tica es pr ctico en el af n de demostrar la veraa a a a cidad de cierta proposicion, probar la falsedad de la negacion

3. Si el profesor lo dijo, entonces debe ser verdadero.

.M

at

em

at

2. Un alumno de MAT001 puede aprobar la asignatura o reprobarla.

ic

a1

.c o

1. Eduardo cursa el paralelo 1 de MAT001 y Marcelo el paralelo 12 de MAT021.

8.1. L OGICA

PROPOSICIONAL

E JEMPLO 8.1.3 Recordemos la notacion utilizada en las desigualdades, en relacion a la negacion: La negacion de a es menor que 7 es a no es menor que 7. Como no podemos utilizar no, lo cual requerira escribir a a 7 7, redactamos la negacion como a es mayor o igual a 7, o

D EFINICI ON 8.1.4 Conjuncion: A partir de dos proposiciones p y q formaremos la conjuncion de p y q, simbolizada por p q. En el lenguaje comun, el conectivo logico y implica la idea de ambos. El lunes le sigue inmediatamente al domingo y marzo es el mes que sigue a febrero. es verdadera, ya que cada proposicion componente es verdadera. Por otra parte, la pro posicion

una tabla, llamada tabla de verdad. p V V F F E JEMPLO 8.1.4 Sea p la proposicion log4 q pq V F V F V F F F
3 2

diendo de los valores de verdad de las proposiciones componentes las resumiremos en

.M

cuadrado de su sucesor es par) es falsa. Los resultados del valor de la conjuncion depen-

at

em

juncion p q sea verdadera, ambas deben ser verdaderas y la segunda componente (el

at

ic

es falsa, a pesar de que parte de la proposicion (2 es par) es verdadera, para que la con-

8 =

races recprocas, Encuentre el valor de verdad de p q. Aqu p es falsa y q es verdadera, al observar el tercer renglon de la tabla de verdad de la conjuncion se muestra que p q es falsa. Consideremos la proposicion el libro se le entregar a Juan o el libro se le entregar a a a Luis, signica que si va uno de los dos, el libro se le entrega, si van los dos tambi n se e entrega y solamente en caso de que no vaya ninguno de los dos no se debe entregar. Por

a1 .

co
y q la proposicion x2 + 6x + 1 tiene

2 es par y el cuadrado de su sucesor es par.

C APTULO 8. I NTRODUCCI ON A LA TEORA DE L OGICA Y C ONJUNTOS I I otra parte la proposicion Pedro ira de compras en autobus o en automovil, signica que Pedro va de compras en autobus, o bien, lo hace en automovil, pero no en ambos. Para evitar este tipo de ambiguedad denimos. D EFINICI ON 8.1.5 Disyuncion A partir de dos proposiciones p y q, formamos la proposicion compuesta p o q, la que simbolizaremos mediante p q, para representar la opcion de p o q o ambas. Con este signicado de o, p q se denomina disyuncion inclusiva, o simplemente disyuncion de p y q. Pedro le propone a su profesor: El lunes proximo traer resuelta la Tarea No 1 o la Tarea e No 2, llegado el lunes el profesor estar decepcionado de su estudiante, solo si este llega a sin ninguna de las dos tareas resueltas. La disyuncion p q es falsa solo si las dos propo siciones componentes son falsas, la tabla de verdad para la disyuncion es la siguiente: p V V F F q pq V V V V F y son ejemplos usuales de disF

.M

O BSERVACI ON 8.1.2 Los signos de las desigualdades yuncion inclusiva. Por ejemplo, x x < 6 o x = 6 se cumplen

E JEMPLO 8.1.5 La siguiente lista muestra algunas proposiciones y la razon por la cual cada una es verdadera. Proposicion 8 3 5 4 8 1 3 4 Razon por la cual es verdadera 8=8 3>1 5 < 3 4 = 4

D EFINICI ON 8.1.6 Proposicion Condicional:

Si la construyes el vendr a La Voz en la pelcula de 1990 Field of Dreams

6 es verdadera, si cualquiera de las dos proposiciones

at

em
V F

at

ic

a1

.c o

8.1. L OGICA

PROPOSICIONAL

Ray Kinsella, un granjero de Iowa en la pelcula Field of Dreams escucho una voz desde el cielo y lo interpreto como una promesa de que si construa un campo de b isbol en su e campo de maz, entonces el fantasma de Joe Jackson (una estrella del b isbol de principios e del siglo XX) vendra a jugar a el. La promesa le llego en forma de una proposicion condi cional. Una proposicion condicional es una proposicion compuesta que usa el conectivo Si ... ,entonces. Por ejemplo, algunas proposiciones condicionales son: Si leo por un largo tiempo, entonces me doler la cabeza. a Si las miradas mataran, entonces estara muerto. Si el no regresa pronto, entonces tendr s que ir a buscarlo. a En cada una de estas proposiciones condicionales, la componente escrita despu s de la e palabra si da una condicion (no necesariamente la unica) bajo la cual la proposicion que sigue a la palabra entonces ser verdadera. Por ejemplo, la armacion: Si la temperatura a

simboliza por:

Leamos p q como p implica a q, o si p, entonces q. En la condicional p q, la propo sicion p se denomina antecedente ( o hipotesis), mientras que la proposicion q se llama consecuente (o tesis) O BSERVACI ON 8.1.3 El conectivo condicional podra no estar siempre de manera explci ta. Esto es, podra estar oculto en una expresion cotidiana. Por ejemplo, la proposicion Los ninos no lloran puede escribirse en la forma si ..., entonces como sigue Si eres nino, entonces no lloras Otro ejemplo, la armacion Es difcil estudiar cuando se est distrado a

.M

at e

La condicional se escribe con una echa, de tal modo, la proposicion, si p, entonces q, se

pq

at ic

playa si la temperatura sobre los 90o F.

a1 .c

sobre los 90o F, entonces ir a la playa nos dice una condicion posible bajo la cual ir a la e e

om

C APTULO 8. I NTRODUCCI ON A LA TEORA DE L OGICA Y C ONJUNTOS I I puede escribirse Si se est distrado, entonces es difcil estudiar. a Como se observo antes en la cita de la pelcula Field of Dreams, la palabra entonces algu nas veces no se incluye en la proposicion, pero se sobrentiende que est ah en el contexto a de la misma. La proposicion mencionada, tu la construyes es el antecedente y el vendr es a el consecuente. La tabla de verdad de la condicional (implicancia) es un poco m s difcil de denir de lo a que fueron las tablas anteriores, para ver como denir la tabla de verdad de la condicional, analizaremos el siguiente ejemplo. E JEMPLO 8.1.6 Hugo, padre de Luis le dice a su hijo.

Conforme analizamos las cuatro posibilidades, sera util pensar en t rminos de lo siguien e te: Se enoja Luis con su padre?. Si lo hizo, entonces la proposicion condicional se consi dera falsa; en caso contrario,la proposicion condicional es verdadera. 1. Si Luis aprueba MAT001 y Hugo le regala el automovil, se enoja Luis con su pa dre? 2. Si Luis aprueba MAT001 y Hugo no le regala el automovil, se enoja Luis con su padre? 3. Si Luis reprueba MAT001 y Hugo le regala el automovil, se enoja Luis con su padre? 4. Si Luis reprueba MAT001 y Hugo no le regala el automovil, se enoja Luis con su padre? El ejemplo anterior nos sugiere la siguiente tabla de verdad para la condicional:

automovil.

.M

at

nentes de la proposicion. Sea p la proposicion Si apruebas MAT001 y sea q te regalar un e

em

at

Como antes, hay cuatro combinaciones posibles de valores de verdad para dos compo-

ic

a1 .

co

Si apruebas MAT001, entonces te regalar un automovil. e

8.1. L OGICA p V V F F D EFINICI ON 8.1.7 Bicondicional: q pq V F V F V F V V

PROPOSICIONAL

La proposicion compuesta de p si, y solo si q (tambi n abreviada a menudo p ssi q) se e llama bicondicional, simbolizada por p q, y se interpreta como la conjuncion de dos condicionales p q y q p. Usando smbolos esta conjuncion se escribe (p q) (q p) de modo que por denicion p q (p q) (q p)

.M

at em
V F V F

q pq V F F V

V F F

E JEMPLO 8.1.7 Diga si cada una de las proposiciones siguientes son verdaderas o falsas 1. 6 + 9 = 15 si, y solo si 12 + 4 = 16 Ambas 6 + 9 = 15 y 12 + 4 = 16 son verdaderas. De acuerdo con la tabla de verdad de la bicondicional, esta proposicion es verdadera. 2. 5 + 2 = 10 si, y solo si 17 + 19 = 36 Ya que la primera componente (5 + 2 = 10) es falsa y la segunda es verdadera, la proposicion bicondicional completa es falsa. 3. 6 = 5 si, y solo si 12 = 12 Ambos componentes de la proposicion son falsos, as que el ultimo renglon de la tabla de verdad para la bicondicional, la proposicion completa es verdadera. (Para entender esto habra que reexionar un poco m s!) a

at ic

mediante:

a1 .c

Mediante esta denicion, la tabla de verdad para la bicondicional p q queda denida

om

C APTULO 8. I NTRODUCCI ON A LA TEORA DE L OGICA Y C ONJUNTOS I I El resumen que sigue describe como pueden recordarse estas tablas de verdad

Resumen de tablas de verdad b sicas a


1. p, la negacion de p, tiene valor de verdad opuesto al de p 2. p q, la conjuncion, es verdadera solo cuando ambas, p y q, son verdaderas 3. p q, la disyuncion, es falsa, solo cuando amabas, p y q, son falsas 4. p q, la condicional, es falsa solo cuando p es verdadera y q es falsa. 5. p q, la bicondicional, es verdadera cuando p y q tiene el mismo valor de verdad.

8.1.1.

Ejercicios Propuestos
m

Ejercicios de Tipo 1

3. Dado que p es falsa y q es falsa, indique el valor de verdad de p q Ejercicios de Tipo 2 4. De una negacion para la desigualdad y < 2. 5. Si p es una proposicion falsa, cu l es el valor de verdad de p ( q r)? a 6. Decidir si las proposiciones siguientes son logicamente equivalentes: Si esto vuela, entonces es un p jaro y Esto no vuela o es un p jaro a a Ejercicios de Tipo 3 7. Intente negar la oracion El numero exacto de palabras en esta oracion es diez y vea que sucede. Explique el problema que surge 8. La proposicion 5 2 es una conjuncion o una disyuncion?

9. Determinar el valor de verdad de la proposicion: Si m2 es un numero par, entonces m es un numero par.

w .M at

verdad de p q

em at

2. Sea p la proposicion 3 < 5 y q la proposicion 12 tiene 4 divisores, hallar el valor de

ic

a1 .

1. Escriba la negacion de Todo el mundo ama a alguien en algun momento

co

8.2. C ONJUNTOS

8.2. Conjuntos
D EFINICI ON 8.2.1 Conjuntos y Elementos: Supongamos que el proceso mental que une objetos bajo una caracterstica particular nos da un conocimiento intuitivo adecuado de lo que entendemos por un conjunto. Los objetos reunidos de esta manera se llaman elementos y decimos que estos pertenecen al conjunto En general representamos los elementos por letras minusculas a, b, c, , x, y, z y los conjuntos con letras mayusculas A, B, . Cuando queremos senalar que un elemento a pertenece a un conjunto A, lo denotamos por: aA (a pertenece a A)

El smbolo representa la relacion fundamental de la teora de conjuntos, la relacion de pertenencia. Esta es la relacion entre un elemento y un conjunto. Para expresar que un

E JEMPLO 8.2.2 Si S es el conjunto de las soluciones reales de la ecuacion x2 3x 10 = 0, podemos asegurar que 1 B y 5 B. / Un conjunto puede designarse enumerando sus elementos dentro de llaves (extension). Por ejemplo, si A es el conjunto de los primeros cinco enteros positivos, escribimos: A = {1, 2, 3, 4, 5} En este caso 2 A y 7 B. / Otra notacion comun para este conjunto es A = {x/x es un entero y 1 x 5} (ex-

tension). En este caso la diagonal / que aparece dentro de las llaves se lee como tal que, los smbolos {x/ } se lee el conjunto de todos los x tal que , las propiedades que van despu s del / nos ayudan a determinar los elementos del conjunto descrito. e Tenga cuidado!. La notacion A = {x/1 x 5} no es una descripcion adecuada del

w w

12 A /

.M

E JEMPLO 8.2.1 Si A representa al conjunto de los numeros primos, entonces, 3 A y

at e

m at

aA /

(a no pertenece a A)

ic

a1 .c om

elemento a no pertenece al conjunto A, lo denotamos por:

C APTULO 8. I NTRODUCCI ON A LA TEORA DE L OGICA Y C ONJUNTOS I I conjunto A, a menos que hayamos acordado previamente que los elementos considerados son enteros. Al adoptar esa convencion, decimos que estamos especicando un universo o universo de discurso, que por lo general de denota por U , o bien U . As, solo elegiremos elementos de U para formar nuestros conjuntos. En este ejemplo particular, Si U denota el conjunto de los enteros o de los enteros positivos, entonces A = {x/1 descripcion adecuada de A. Si U es el conjunto de los reales {x/1 pares, entonces los unicos elementos de {x/1 x x x 5} es una 5} contendra

todos los numeros reales entre 1 y 5 inclusive; si U est formado solamente por enteros a 5} seran 2 y 4. Para enfatizar el con junto universo escribiremos de manera m s acertada {x U/ } a Consideremos un conjunto como el siguiente {x R/x2 + 1 < 0}, nos encontramos enton ces con un conjunto vaco (es decir, sin elementos). Ejempliquemos esta situacion de otra manera, suponga que la Asociacion Nacional de Futbol hizo construir de nas maderas un estante donde pondr las copas de los mundiales adultos de futbol que ha ganado, a lamentablemente, tan bello estante est ah vaco, a la espera de que llegue algun trofeo, a est en ese lugar. Denimos entonces a un tal conjunto (sin elementos) como el conjunto a En la mayora de las areas de las matem ticas, nuestro razonamiento puede ser auxi a liado y esclarecido mediante el uso de diversos tipos de dibujos y diagramas. En la teora de conjuntos, comunmente usamos los llamados diagramas de Venn, desarrollados por el logico John Venn (1834-1923). En estos diagramas el conjunto universal est represena tado por un rect ngulo y los dem s conjuntos de inter s dentro de nuestro universo se a a e representan mediante regiones ovaladas, o en ocasiones por crculos u otras formas. es decir, est el lugar preparado para contener elementos, sin embargo, ningun elemento a vaco y lo denotamos mediante , podemos escribir = { }.

.M

at e

at ic

a1 .

co m

8.2. C ONJUNTOS E JEMPLO 8.2.3 Consideremos los conjuntos: A = {1, 2, 3, 6} = {x N/x es divisor de 6}, B = {2, 4, 6, 8, 10, 12, } = {x N/x es par}, C = {x R/ x 1 = 0} x+1
x1 1 D = {x R/ x2 1 = 2 }
2

E = {x R/(x 1)(x + 1)(x 2) = 0} F = {x R/(x 1)(x + 1) = 0} Los conjuntos A, C, D, E y F , son ejemplos de conjuntos nitos, mientras que B es un ejemplo de un conjunto innito. Al trabajar con conjuntos como A y B, podemos describir los conjuntos por comprension, o bien, enumerar los elementos sucientes para indicar, esperamos, un patron evidente y de esa manera expresarlos por extension. Para cualquier conjunto nito M , |M | (o equivalentemente #M ) denota el numero de sus elementos y se conoce como el cardinal o tamano de M , en el ejemplo anterior, se tiene: Se puede observar que todo elemento de F , es a su vez un elemento de E. Esta importante relacion se da en toda la teora de conjuntos y sus aplicaciones y conduce a la siguiente |A| = 4, |C| = 1, |D| = 0, |E| = 3 y |F | = 2.

D EFINICI ON 8.2.2 Si M y N son conjuntos denidos en un universo comun U , decimos que M es subconjunto de N y escribimos M N o N M , si cada elemento de M es a su vez un elemento de N .S, adem s, N contiene un elemento que no est en M , entonces a a M es un subconjunto propio de N y se denota como M N o N M .

O BSERVACI ON 8.2.1 Para cualquier conjunto A, se tiene: A U D EFINICI ON 8.2.3 Se dice que 2 conjuntos A y B son iguales, cuando ambos tienen los mismos elementos, es decir, si cada elemento de A pertenece a B y si cada elemento que pertenece a B pertenece tambi n a A. La igualdad entre conjuntos se denota A = B. e

.M

at e

denicion:

at ic

a1 .

co m

C APTULO 8. I NTRODUCCI ON A LA TEORA DE L OGICA Y C ONJUNTOS I I O BSERVACI ON 8.2.2 Podemos observar de las dos deniciones anteriores que A = B s, y solo si A B y B A. Esta equivalencia es usada con frecuencia como t cnica de e demostracion para probar que dos conjuntos son iguales. Operatoria entre Conjuntos

8.2.1.

Complemento:

Para cualquier conjunto A dentro de un universo referencial U , el complemento de A, denotado por Ac (o bien, A ), es el conjunto de elementos de U que no est n en A. a Ac = {x U/x A} / E JEMPLO 8.2.4 entonces Ac = {e, o, u} 1. Considere el universo U = {a, e, i, o, u} y el conjunto A = {a, i},

O BSERVACI ON 8.2.3 Algun resultado inmediato de la denicion es: i) c = U ii) U c = iii) Si A B B c Ac

.M

at em

at ic

su conjunto complementario de A es: Ac = {x R/x

a1

2. Considere el conjunto U = R y el conjunto A = {x R/x < 3} = (, 3), entonces,

.c

om

3} = [3, +)

8.2. C ONJUNTOS

8.2.2.

Interseccion:

La interseccion entre los conjuntos A y B, denotado por A B, es el conjunto de los elementos comunes a ambos conjuntos A y B, esto es: A B = {x U/x A x B} E JEMPLO 8.2.5 1. Si A = {1, 3, 5} y B = {4, 5, 6, 7}, entonces A B = {5}

2. Si A = (, 2] y B = (0, +), entonces A B = (0, 2] Los elementos de A son los reales que cumplen la desigualdad x desigualdades cumplen 0 < x x 2 y los que pertenecen a B est n caracteria 2. zados por la desigualdad x > 0, luego, los que satisfacen simult neamente ambas a 2, o como regularmente se escribe: 0 < x

O BSERVACI ON 8.2.4 1. Dos conjuntos A y B sin elementos en comun (A B = ) se llaman conjuntos disjuntos 2. Si A B, entonces A B = A 3. A = 4. A U = A 5. A Ac =

.M at

em at

ic

a1 .

co

C APTULO 8. I NTRODUCCI ON A LA TEORA DE L OGICA Y C ONJUNTOS I I

8.2.3.

Union:

La union entre los conjuntos A y B, denotado por A B, es el conjunto cuyos elemen tos pertenecen a cualquiera de los dos conjuntos A y B, esto es: A B = {x U/x A x B} E JEMPLO 8.2.6 1. Si A = {1, 3, 5} y B = {4, 5, 6, 7}, entonces A B = {1, 3, 4, 5, 6, 7}

2. Si A = (, 1) y B = [3, +), entonces A B = (, 1) [3, +)

O BSERVACI ON 8.2.5 1. A = A 2. A U = U

Algunas propiedades b sicas son: a

3. Si A B, entonces A B = B 4. A Ac = U

8.2.4.

Diferencia:

La diferencia entre los conjuntos A y B, denotado por A\B, es el conjunto cuyos elementos pertenecen a A, pero no pertenecen a B, esto es: A\B = {x U/x A x B} /

.M at

em at

ic

a1 .

co

8.2. C ONJUNTOS E JEMPLO 8.2.7 1. Si A = {1, 3, 5} y B = {4, 5, 6, 7}, entonces A B = {1, 3}

1 2. Si A = {x R/ x1 R}, entonces, en lugar de escribir A, mediante la union

(, 1) (1, +), lo podemos hacer mediante la diferencia mediante: R\{1}

O BSERVACI ON 8.2.6
a1 .c w w w .M at em at ic

Algunas propiedades b sicas son: a A\ = A A\U = Si A B = , entonces A\B = A A\B A

8.2.5.

Cardinalidad:

Consideremos un conjunto universo nito U . 1. || = 0 2. |Ac | + |A| = |U | 3. Si A B, entonces |A| |B|

4. S A B, entonces |A| < |B| 5. |A B| = |A| + |B| |A B| 6. |A B C| = |A| + |B| + |C| |A B| |A C| |B C| + |A B C|

om

C APTULO 8. I NTRODUCCI ON A LA TEORA DE L OGICA Y C ONJUNTOS I I E JEMPLO 8.2.8 Bob Carlton es un jefe de seccion de una compana de servicios el ctrie cos. Los empleados de su seccion se encargan de cortar grandes arboles, escalar postes y unir cables. Recientemente, Carlton presento el siguiente reporte a la gerencia de servicios: Mi seccion incluye 100 empleados 1. T = el conjunto de empleados que pueden cortar arboles grandes, 2. P = el conjunto de empleados que pueden escalar postes, 3. W = el conjunto de empleados que pueden unir cables, donde se tiene: |T | = 45, |P | = 50, |W | = 57, |T P | = 28, |P W | = 20, |T W | = 25, |T P W | = 11 y |T c P c W c | = 9, la informacion entregada por Carlton a la gerencia aparece en la gura adjunta

8.2.6.

Ejercicios Propuestos

Ejercicios Tipo 1: Considere U = {1, 2, 3, 4, 5, 6, }, A = {1, 3, 5}, B = {2, 4, 6}, C={1,2,3}, D={4,5,6} y E = {2, 3, 4, 5}, determinar cada uno de los siguientes conjuntos: a) (A B)c b) #[(D\E) B] c) (A\B) (B\A) d) (C D)c E

.M

at em

at ic

a1

.c

om

8.2. C ONJUNTOS Ejercicios Tipo 2: a) Si A = {x R/x es racional} y B = {x R/x es irracional}, entonces 1) A B = 2) A B = b) Si A = {x R/x2 3x 4 > 0} y B = {x R/x2 3x 10 1) A 2) B 3) A B 4) Ac B c 1 x d) Escriba {x R/|x| = 3} como union de intervalos reales y como diferencia de c) Escribir como union de intervalos reales la solucion en R de x > conjuntos.
at em co m

0}. Expresar

ya sea mediante union o interseccion de intervalos los siguientes conjuntos.

e) Expresar por extension el conjunto A = {n Z/n2 3n 4


at

ic

a1 .

0}

Ejercicios Tipo 3:

Ayud ndose de diagramas de Venn visualizar la veracidad de la proposiciones sia guientes y luego pru belas algebraicamente. e a) Si A B A B = A b) Si A B A B = B c) Si A B B c Ac d) A B c = A s, y solo si A B =

w .M