Está en la página 1de 40

CAPTULO UNO

PROPOSICIN Una proposicin es una unidad semntica que slo es verdadera o slo es falsa. Las proposiciones se las representan con las primeras letras de abecedario en minscula. ORACIONES QUE SON PROPOSICIONES. Las proposiciones que tienen precisin y no ambigedades. Ejemplo: a: 5 es un nmero par. (0) b: Increment el B.D.H. a $50.00 (1) C: 3467+56= 4624 (0) d: Machala es capital bananera. (0) REQUISITO QUE DEBE TENER UNA PROPOSICIN: La proposicin debe establecer su valor de verdad. VALOR DE VERDAD. El valor de verdad de una proposicin es la cualidad de veracidad que describe la misma proposicin y este valor puede ser falso o verdadero. OPERADORES LGICOS NEGACIN. El operador lgico de negacin cambia el valor de verdad de una proposicin. La negacin se representa con los trminos gramaticales no, ni, no es verdad que, no es cierto que, y se lo representa simblicamente por a.

CAPTULO UNO
a 0 1 EJEMPLOS: a: Tengo un billete de cinco dlares. a: No tengo un billete de cinco dlares. b: Quiero hacer el viaje. b: No quiero hacer el viaje. e: Maana expondr mi proyecto de aula. e: Maana no expondr mi proyecto de aula. d: El Ecuador tiene maravillosos lugares tursticos. d: El Ecuador no tiene maravillosos lugares tursticos. CONJUNCIN. Este operador lgico relaciona dos preposiciones para formar una nueva, en la cual la proposicin resultante ser verdadera solamente cuando el valor de verdad de ambas proposiciones es verdadero. La conjuncin se representa con los trminos gramaticales y, pero, mas, y se lo representa simblicamente por a b. a 0 0 1 1 b 0 1 0 1 ab 0 0 0 1 a 1 0

CAPTULO UNO
EJEMPLOS: a: Tengo buenas calificaciones. b: gano una beca. a b: Tengo buenas calificaciones y gano una beca. a: Trabajo demasiado. b: recibo bajo sueldo. a b: Trabajo demasiado pero recibo bajo sueldo. a: No estudi para el examen. b: obtuve buena calificacin. a b: No estudi para el examen pero obtuve una buena calificacin. a: Ir a la fiesta de Mara. b: me divertir todo la tarde. a b: Ir a la fiesta de Mara y me divertir todo la tarde. DISYUNCIN. Este operador lgico relaciona dos proposiciones para formar una nueva, en la cual la proposicin resultante ser falsa solamente cuando el valor de verdad de ambas proposiciones es falso. La disyuncin se representa con los trminos gramaticales o y se lo representa simblicamente por a b. a 0 0 1 1 b 0 1 1 1 ab 0 1 1 1

CAPTULO UNO
EJEMPLOS: a: Tengo un libro de trigonometra. b: tengo un libro de algebra. a b: Tengo un libro de trigonometra o uno de algebra. a: Maana tendr clases de matemtica. b: tendr el concurso de pintura. a b: Maana tendr clases de matemtica o el concurso de pintura. a: Melisa comprar las cosas para la fiesta. b: Melisa junto con Pablo arreglaran el curso . a b: Melisa comprar las cosas para la fiesta o Melisa junto con Pablo arreglarn el curso. a: Guayas es zona arrocera. b: Quito es la capital de Chimborazo. a b: Guayas es zona arrocera o Quito es la capital de Chimborazo. DISYUNCIN EXCLUSIVA. Este operador lgico relaciona dos proposiciones para formar una nueva, en la cual la proposicin resultante ser verdadera solamente cuando una de ellas sea verdadera. La disyuncin exclusiva a expresarse como (a b) (a b) En espaol se representa con los trminos gramaticales o, o slo, o solamente, o, o. b se puede

CAPTULO UNO
a 0 0 1 1 EJEMPLOS: a: Estoy en Quito. b: Estoy en Guayaquil. a b: O estoy en Quito o estoy en Guayaquil. a: Ir con mi familia de paseo. b: Ir al cine con mis amigos. a b: Me ir con mi familia de paseo o ir al cine con mis amigos. a: Canter en el evento del Sbado. b: Bailar en festival del Viernes. a b: Canter en el evento del Sbado o bailar en festival del Viernes. CONDICIONAL. Este operador lgico se lo denomina enunciacin hipottica o implicacin. En la proposicin ab, a es el antecedente, hiptesis o premisa; b es el consecuente, conclusin o tesis; y la proposicin resultante ser falsa solamente cuando el valor de verdad del antecedente sea verdadero y el valor de consecuente sea falso. En espaol, la proposicin a b puede tener los siguientes trminos gramaticales: si a, entonces b, a slo si b, a solamente si b, si a, b, entre otras expresiones que denote causa y efecto. b 0 1 1 1 ab 0 1 1 0

CAPTULO UNO
a 0 0 1 1 EJEMPLOS: a: Juan gana el concurso. b: Juan dona $ 10.000. a b: Si Juan gana el concurso, dona $10.000. a: Mara viaja a Canad. b: Mara estudia y aprueba en los exmenes. a b: Mara viaja a Canad solamente si estudia y aprueba en los exmenes. a: Camila aprueba el examen de matemticas. b: Camila viajar de vacaciones a la finca de sus abuelos. a b: Si Camila aprueba el examen de matemticas, viajar de vacaciones a la finca de sus abuelos. REPRESENTACIONES SIMBLICAS. Recproca a b Inversa a b Contrarrecproca b a b 0 1 0 1 ab 1 1 0 1

CAPTULO UNO
CONDICIONES NECESARIAS BICONDICIONAL. Este operador lgico tambin se denomina doble implicacin. La proposicin a b ser verdadera cuando los valores de verdad de ambas proposiciones sean iguales. En espaol puede encontrar con los siguientes trminos gramaticales: a si y slo si b, a si y solamente si, a implica b y b implica a, a cuando y slo cuando b. a 0 0 1 1 EJEMPLOS: a: Un triangulo es equiltero. b: Un triangulo es equingulo. a b: Un triangulo es equiltero si y slo si es equingulo. a: Cristian es bueno en trigonometra. b: Cristian es bueno en matemticas. a b: Cristian es bueno en trigonometra si y slo si es bueno en matemticas. a: Viajer de vacaciones. b: Apruebo el ao escolar. a b: Viajer de vacaciones si y slo si Apruebo el ao escolar. b 0 1 1 1 ab 1 0 0 1

CAPTULO UNO
EJERCICIOS. a: Elizabeth cumple con sus obligaciones. b: Elizabeth aprueba el examen. c: Elizabeth trabaja. d: Elizabeth no se va de vacaciones. a [ b (c d)- : Elizabeth cumple con sus obligaciones slo si no aprueba el examen solo si trabaja o se va de vacaciones. TABLAS DE VERDAD Y FORMAS PROPOSICIONALES a: , (p q) (r p)- r ,(p q) (r p)- = x p 0 0 0 0 1 1 1 1 q 0 0 1 1 0 0 1 1 r 0 1 0 1 0 1 0 1 p q p r p 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 1 1 0 1 0 1 [(pq)(r p)1 1 1 1 1 1 0 1 x r 0 1 0 1 0 1 0 1

IMPLICACIN LGICA p (q p) p 0 0 1 1 q 0 1 0 1 q p 1 0 1 1 p (q p) 1 1 1 1

CAPTULO UNO
Tabla de tautologa. Es cuando todos los valores resultantes dan v, 1. (p q) (q p) p 0 0 1 1 q 0 1 0 1 p q q p 1 1 0 1 1 0 1 0 1 0 1 0 q p 1 1 0 1 (p q)(q p) 1 1 1 1

EJEMPLOS. a: Pamela cumple con sus horas de trabajo. b: Pamela llega puntual al trabajo. c: Pamela asiste a la consulta mdica. Pamela cumple con sus horas de trabajo slo si llega puntual al trabajo y no asiste a la consulta mdica. a (b c) a 0 0 0 0 1 1 1 1 b 0 0 1 1 0 0 1 1 c 0 1 0 1 0 1 0 1 c 1 0 1 0 1 0 1 0 (bc) 0 0 1 0 0 0 1 0 a (b c) 1 1 1 1 0 0 1 0

CAPTULO UNO
EJEMPLOS. a: Pamela se va de vacaciones.. b: Pamela aprueba el examen. c: Pamela cumple con sus obligaciones. Si Pamela se va de vacaciones slo si aprueba el examen y cumple con sus obligaciones. a (b c) a 0 0 0 0 1 1 1 1 b 0 0 1 1 0 0 1 1 c 0 1 0 1 0 1 0 1 bc 0 0 0 1 0 0 0 1 a(b c) 1 1 1 1 0 0 0 1

EQUIVALENCIA LGICA PROPIEDADES CONMUTATIVA ASOCIATIVA IDEMPOTENCIA ABSORCIN CONJUNCIN (p q) (q p) ,( pq)r-,p(qr)(pp)p (p0)0 LEYES DE LOS OPERADORES 0=1 1=0 NEGACIN DISYUNCIN (p q) (q p) ,( pq)r-,p(qr)(pp)p (p1)1

CAPTULO UNO
(p)= p p(qr)(pq)(pr) p(qr)(pq)(pr) (pq)(pq) (pq)(pq) (pq)1 (pq)0 (p q)(q p) (pq)(pq) (pq)(pq) (pq)(pq) (pq),(pq)(qp)] (pq)(qp) EJERCICIOS: (p q)r p r (p q)r (p q) r p q Traduzca el siguiente lenguaje: No quiero ir al estadio ni ver televisin. p: Quiero ir al estadio. q: ver televisin p q (p q) Mi equipo gana el juego de futbol y obtiene los 3 puntos, o pierde y trata de ganar el prximo juego. p: Mi equipo gana el juego de futbol. q: Obtiene los 3 puntos. r: Pierde. s: Trata de ganar el prximo juego. EQUIVALENCIA IMPLICACIN DE MORGAN TERCERO EXCLUIDO CONTRADICCIN CONTRARRECPROCA DOBLE NEGACIN DISTRIBUTIVAS

CAPTULO UNO
(p q)(r s) Guayaquil mejora su imagen, si la Municipalidad realiza obras o los ciudadanos colaboran en el aseo de la calles. m: La Municipalidad realiza obras. n: Los ciudadanos colaboran en el aseo de la calles. p: Guayaquil mejora su imagen. p(mn) Mis padres me compran un carro slo si me porto bien y apruebo el curso. q: Mis padres me compran un carro. r: Me porto bien s: Apruebo el curso. q(rs) EJERCICIO EN CLASE: Siempre que tengo hambre y no tengo tiempo para comer, no me siento bien y no puedo estudiar. a: Siempre que tengo hambre. b: Tengo tiempo para comer. c: Me siento bien. d: Puedo estudiar. a) (b a) (c d) b) (c d) (a b) c) (c d) (a b) d) (a b) (c d) e) (c d) (a b)

CAPTULO UNO
SOLUCIN: (a b) (c d) (c d) = (c d) (a b) = (a b) (c d) (a b) RAZONAMIENTOS: PREMISAS o HIPTESIS Son proposiciones que pueden ser representadas por la conjuncin de proposiciones denominadas premisas o hiptesis. Es vlido cuando es una tautologa. H1 H2 H3 ..... Hn Antecedente C Consecuente

Ejemplo: Si Pablo recibi el e-mail, entonces tom el avin y estar aqu al medioda. Pablo no tom el avin. Luego, Pablo no recibi el e-mail. SOLUCIN: a: Pablo recibi el e-mail. b: Pablo tom el avin. c: Pablo estar aqu al medioda. H1 H2 Hn C H1: p (q r) H2: q C: p [(p (q r)) (q)] p p 0 0 0 0 1 q 0 0 1 1 0 r q r p(q r) 0 0 1 1 0 1 0 0 1 1 1 1 0 0 0 q H1 H2 p 1 1 1 1 1 1 0 0 1 0 0 1 1 0 0 H1 H2 C 1 1 1 1 1

CAPTULO UNO
1 0 1 1 1 1 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1

Si el crimen ocurri despus de las 4:00, entonces Pepe no pudo haberlo cometido. Si el crimen ocurri a las 4:00 o antes, entonces Carlos no pudo, haberlo cometido. El crimen involucra a dos personas, si Carlos no lo cometi. Por lo tanto, el crimen involucra dos personas, a: Si el crimen ocurri despus de las 4:00. b: Pepe no pudo haberlo cometido. c: Carlos pudo haber cometido el crimen. d: El crimen involucra dos personas. H1 H2 Hn C H1: a (b) = (ab) H2: (a) (c) = a c H3: (c) d= (c d) C: d (ab)( a c )(c d) [(pq)( p r )(r s)]s p 0 0 0 0 0 0 0 0 1 1 q 0 0 0 0 1 1 1 1 0 0 r 0 0 1 1 0 0 1 1 0 0 s q pq 0 1 1 1 1 1 0 1 1 1 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 1 1 1 1 p 1 1 1 1 1 1 1 1 0 0 r H2 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 H3 H1H2 0 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 H3 0 1 0 0 0 1 0 0 0 1 ,H3]s 1 1 1 1 1 1 1 1 1 1

CAPTULO UNO
1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 1

CONJUNTOS Un conjunto es una coleccin, reunin o agrupacin de objetos que poseen una caracterstica o propiedad comn bien definida.

La descripcin de un conjunto se puede realizar de las siguientes maneras: Por compresin, para referirnos a alguna caracterstica de los elementos. A= {/ es consonante de la palabra amistad.} Por extensin o tabulacin, cuando se listan todos los elementos. A= {, , , } Por medio de diagramas de ven cuando se desea representarlo grficamente. Note que: A A A

A= {/ es un digito impar en el sistema de numeracin decimal.} N(A)= 5, porque A= {1, 3, 5, 7, 9} Totalidad de elementos que tiene un conjunto. EJEMPLOS: CONJUNTO VACIO:

CAPTULO UNO
A= {/ es un numero para o impar a la vez.} CONJUNTO UNITARIO: A= *+ CONJUNTO FINITO: A= {/ es un habitante del Ecuador.} CONJUNTO INFINITO: A= {/ es numero entero.} CONJUNTO REFERENCIAL O UNIVERSO: A= {/ es un letra del alfabeto espaol} EJERCICIOS EN CLASE: Determine cual de los siguientes conjuntos es vaco: a) A={{}} b) D={} c) B={,{}} d) C={,} e)M={ }

Sean A, B, C, D y M como en el ejercicio anterior. Determine el valor de verdad de las siguientes proposiciones. a)N(A)=N(D) Verdadero d)N(C)=1 Falso b)N(D)=N(C) Verdadero e)N(B)=N(C)+1 Falso c)N(C)=N(M) Falso CUANTIFICADORES. CUANTIFICADOR UNIVERSAL. Cualquier expresin de la forma: para todo, todo, para cada, cada, constituye en el lenguaje forma un cuantificador universal y se simboliza por medio de . CUANTIFICADOR EXISTENCIAL. Cualquier expresin de la forma: existe, algn, algunos, por lo menos uno, basta que uno, constituye en el lenguaje formal un cuantificador existencial y se simboliza por medio de . EJEMPLOS: , 2 + 3= 5 , 2 + 2= 4 Para todo nmero , se cumple 2 + 3= 5 Existe por lo menos un nmero , para lo cual se cumple 2 + 2= 4

CAPTULO UNO
SUBCONJUNTOS. El conjunto A es subconjunto de B si y solo si los elementos de A estn contenido en B. Simblicamente, este concepto se representa por: (AB) [(A) (B)CONJUNTO PROPIO: Si A es subconjunto de B, pero B no es subconjunto de A, se dice que A es subconjunto propio de B. (A B) (AB) (A= B)

CONJUNTO POTENCIA: Dado el conjunto A, su conjunto de potencia es aquel que esta formado por todos los subconjuntos posibles de A. El smbolo que se utiliza para este conjunto es P(A). P(A)= *B/B A+

EJEMPLOS: Si A= *, +, a+, entonces P(A)= *, *+, *++, *a+, *, ++, *, a+, *+, a+, A+ A partir de este resultado, las siguientes proposiciones son verdaderas: *, ++ A *, ++ P(A) P(A) Observe que N(P(A))= 23= 8. Dado el conjunto B= *1, *, ++, construya P(B). N(P(B))= 22 =4 P(B)= *, *1+, **,++, B+. RELACIONES ENTRE CONJUNTOS. IGUALDAD ENTRE CONJUNTOS. Dos conjuntos A y B son iguales si y slo si tienen los mismos elementos. Es decir, ambos conjuntos se contienen mutuamente. Simblicamente se representa por: (A=B) ,(AB) (BA)-

CAPTULO UNO
CONJUNTOS DISJUNTOS E INTERSECANTES. Los conjuntos A y B son DISJUNTOS si y slo si A y B no tienen elementos en comn. Los conjuntos A y B son intersecantes si y slo si A y B tienen al menos un elemento comn. UNIN ENTRE CONJUNTOS. La unin entre los conjuntos A y B es un nuevo conjunto formado por elementos que los pertenecen al conjunto A o al conjunto B. Se denota por AB y se define como: AB= */( A) ( B)+ INTERSECCIN ENTRE CONJUNTOS. La interseccin entre los conjuntos A y B es un nuevo conjunto formado por los elementos que pertenecen al conjunto A y al conjunto B. Se denota por AB y se define como: AB= */( A) ( B)+ Re
A B

DIFERENCIA ENTRE CONJUNTOS. La diferencia entre los conjuntos A y B es un nuevo conjunto formado por los elementos que pertenecen al conjunto A, pero no pertenecen al conjunto B. Se denota por AB y se define como: AB= {/( A) ( B)+

CAPTULO UNO
Re
A B

DIFERENCIA SIMTRICA ENTRE CONJUNTOS. La diferencia simtrica entre los conjuntos A y B es un nuevo conjunto formado por los elementos que pertenecen o al conjunto A o al conjunto B. Se denota por A B y se define como: A B= {/[( A) ( B)-,( B) ( A)-+ Re
A B

COMPLEMENTACIN ENTRE CONJUNTOS. La complementacin de un conjunto A es un nuevo conjunto formado por los elementos del referencial que no pertenecen al conjunto A. Se denota por AC y se define como: AC= {/( Re) ( B)+ Re

A AC

CAPTULO UNO
EJERCICIOS EN CLASES: Dado el Re= {1, 2, 3, 4, 5, 6, 7, 8} y los conjuntos: A= {1, 2, 3, 4, 5} B= {2, 4, 6, 8} C= {1, 3, 6, 7} Determine: a) b) c) d) e) AC = { 6, 7, 8} AB= {1, 2, 3, 4, 5, 6, 8} AB= {1, 3} BC= {2, 4, 8} A B= {1, 3, 5, 6, 8}

Sea el conjunto referencial Re y los conjuntos no vacos A, B y C definidos as: Re= {*, , #, $, %, &, ?} A= {*, , #, $} B= {, %, &,?} C= {%, &,?} Entonces el conjunto [(A-B)C C-C es: a) Re SOLUCIN. (A-B)= {*, #, $} (A-B)C= {, %, &, ?} (A-B)C C= {, %, &, ?} [(A-B)C C-C= {*, #, $} Sean A, B, C subconjuntos de un conjunto referencial Re, tal ABC= Re y la interseccin entre cualquiera dos de ellos es vaco, entonces para cualquier subconjunto del Re. D= (DA)(DB) (DC) b) c){%, &, ?} d){} e) A-B

CAPTULO UNO
SOLUCIN. Re={1, 2, 3, 4, 5, 6, 7, 8, 9} A={1, 5, 7, 9} B={2, 3, 5, 8} C={1, 4, 6, 7. 5} D={1, 4, 6, 7, 9} (DA)(DB) (DC)=*1, 4, 6, 7, 9} (DA)=*1, 7, 9} (DB)=*} (DC)=*1, 4, 6, 7} ABC=*1, 2, 3, 4, 5, 6, 7, 8, 9+ BD=*+ PROPIEDADES DE LOS OPERADORES ENTRE CONJUNTOS. (AB) = (BA) Unin X (AB) (XA) (X B) X (AB) (XA) (XB) (Unin) X (AB) (XB) (XA) (Disyuncin) LEY DE MORGAN (AB)C = AC BC Ley de Morgan. X (A U B) (X Re) (X (A U B)) Re
A B

N(AB)=N(A) + N(B) N(A B) Re


A B

CAPTULO UNO
N(A) = N(A-B) + N(AB) N(A-B) = N(A) N(AB) EJEMPLO: Se hizo una encuesta a 1000 personas acerca del canal de televisin donde preferan ver programas documentales y se obtuvieron los siguientes resultados: Encuesta a 1000 personas. Teleamazonas: 620 Canal Uno: 400 Ecuavisa: 590 Teleamazonas y Canal Uno: 195 Canal Uno y Ecuavisa: 400 Teleamazonas y Ecuavisa, pero no Canal Uno: 300 N(Re)=1000 Re N(T)=620 N(C)=400 T C N(E)=590 N(TC)=195 N(CE)=190 N(TE)=400 N(TE)-N(C)=300
E

SOLUCIN. N(TE) N(C)=300 N(C)= N(TE) 300 N(C)= 400 300 N(C)= 100 FRMULA: A U B= N(A) + N(B) N(A B) N(T)N(C) N(E) = T C E T U C U E = N(T)+N(C)+N(E) N(T C) N(C E) N(T E) + N(T E) N(C) T U C U E = 620+400+590+195+190+400+ 400-300 T U C U E = 1610-785+100 T U C U E = 1710-785

CAPTULO UNO
T U C U E = 925 Re N(T C)= 195-100=95 N(C E)= 190-100=90 N(T E)= 400-100=300 N(T)= 620-(300+100+95) N(T)= 620-495=125 N(C)= 400-(95+90+100) N(C)=400-285=125 N(E)= 590-(90+300+100) N(E)=590-490=100 DETERMINAR: a) (A B) (CC BC)C b) (AB) (CC B) Re= {1, 2, 3, 4, 5, 6, 7, 8} A= {1, 2, 3, 4, 5} B= {2, 4, 6, 8} C= {1, 3, 6, 7} SOLUCIN. A B :{1, 2, 3, 4, 5, 6, 8} CC= {2, 4, 5, 8} BC= {1, 3, 5, 7} CC BC = {2, 4, 5, 8} {1, 3, 5, 7} (CC BC) = {1, 2, 3, 4, 6, 7,8} (AB) (CC BC)= {1, 2, 3, 4, 6,8} Sol. AB= {1, 2,3} CC= {2, 4, 5,8} (CC B) = {5} (AB) (CC B) = {1, 3,5} Sol. DETERMINAR A, B Y C SI SE CONOCE. Re= {1, 2, 3, 4, 5,6} AB= {1, 2,3} Re

CAPTULO UNO
AC= {1,2} (BC)A= {4} C(A B)= {5} (A B C) = {6} SOLUCIN. A= {1, 2,3} B= {4} C= {3,5}

Re
B

EJERCICIOS EN CLASE. A= {1, 2} DETERMINAR: a) A=B. Falso. b) A=C. Verdadero. c) B y D son distintos. Verdadero. d) A=D. Falso. A= {1, 2, 3} 23= 8 p(A)= {O, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, A} B= {1, 2, 3} C= {1, 3} D= {3, 4, 5}

A= {x, y, {x}} a) x p(A). Falso. b) {x} p(A). Verdadero. c) {{x}} p(A). Verdadero. d) {{{x}}} p(A). Falso. e) O, p(A). Verdadero.

CAPTULO UNO
p(A)= {O, {x}, {y}, {{x}}, {x, y}, {x, {x}}, {y, {x}}, A}

C= O N(p(C))= 0 2N(A) 21= 0

DETERMINE EL VALOR DE VERDAD. a) b) c) d) (AUBUC)-C. Falso. [(A-B)CC] - A. Falso. A (B-C)C. Falso. [CC (AUB)- (AB). Verdadero.

SOLUCIN: A= {1, 2, 3, 4, 5} B= {3, 6, 8, 9} C= {2, 3, 4, 7, 8, 10, 11, 12, 13} a) (AUBUC)-C (AUBUC)= {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13} (AUBUC)-C= {1, 5, 6, 9} b) [(A-C)C C]-A A-C= {1, 2, 4, 5} (A-C)C= {3, 6, 7, 8, 9, 10, 11, 12, 13} (A-C)CC= {3, 7, 8, 10, 11, 12, 13} [(A-C)C C--A= {7, 8, 10, 11, 12, 13} c) A(B-C)C (B-C)= {6, 9} (B-C)C= {1, 2, 3, 4, 5, 7, 8, 10, 11, 12, 13} A (B-C)C= {1, 2, 3, 4} d) [CC (AB)-(AB) CC= {1, 5, 6, 9}

CAPTULO UNO
A B= {1, 2, 3, 4, 5, 6, 8, 9} CC (AB)= *1, 5, 6, 9+ AB= {3} [CC (AUB)- (AB)= *1, 3, 5, 6, 9+

Encuesta 500 se obtiene:


120 estudian matemtica. 180 estudian fsica. 300 estudian qumica. 150 estudian fsica y qumica. 120 estudian matemtica y qumica. 60 matemtica y qumica. 50 estudian las 3 materias.

Cuantos estudiantes no revisan materia alguna.


SOLUCIN. N(M)= 220 N(F)= 180 N(Q)= 300 N(MF)= 60 N(FQ)= 150 N(MQ)= 120 N(MFQ)= 50 N(MFQ)= N(M)+N(F)+N(Q)-(MF)-(FQ)-(MQ)+(MFQ) N(MFQ)= 220+180+300-60-150-120+50 N(MFQ)= 700-330+50 N(MFQ)= 750-330= 420 Sol. (MFQ)C= 500 420=80 Sol. N(M)= 220-(70+50+10) N(M)= 220-130 N(M)= 90 Sol. N(MF)= 60-50=10 N(FQ)=150-50=100

CAPTULO UNO
N(MQ)= 120-50=70 Sol. N(F)=180- (10+100+50) N(F)=180-(160) N(F)= 20 Sol. N(Q)=300-(100+70+50) N(Q)= 300-(220) N(Q)= 80 Sol.

EJERCICIOS EN CLASES: Se entrevista a 90 personas: 50 escuchan msica, 20 ven pelculas, 60 escuchan msicas o ven pelculas Cuntas personas realizan las dos actividades? N(M)= 50 N(P)= 20 N(MP)= 60 N(Re)= 90 N(MP)= N(M)+N(P)-N(AB) N(AB)= N(M)+N(P)-N(MP) N(AB)= 50+20-60 N(AB)= 70-60 N(AB)= 10 N(M)= 50-10=40 N(P)= 20-10= 10 PREDICADOS Son expresiones en trminos de un variable que al ser reemplazadas por elementos de un conjunto referencial, se convierten en proposiciones. Si representa a cualquier elemento de Re, entonces la expresin () se definir como predicado. Re= {1, 2, 3, 4, 5, 6} (): es impar.

CAPTULO UNO
(1)= es impar, es una proposicin verdadera. (): es par. (5)= 5 es par, es una proposicin falsa. CONJUNTOS DE VERDAD DE UN PREDICADO. Es el conjunto formado por todos los elementos de Re para los cuales el predicado se convierte en una proposicin verdadera. Se lo representa con la letra A. Ejemplos: A()= {1, 2, 3} es verdadero. A()= {2, 4, 6} es verdadero. A()= {7} es falso. A()= {8} es falso. Re= {Quito, Lima, Bogot, Caracas, Santiago} a) (): es capital de Ecuador. b) (): +2=5 A(): Quito es capital de Ecuador. A():

Re= {1, 2, 3, 4, 5, 6, 7, 8, 9, 10} Determinar el conjunto de verdad del predicado: (): es un numero par. A():{2, 4, 6, 8, 10}

PROPIEDADES: A()= AC() A(()())= A()A() A(()())= A()A() .A(()())= AC()

CAPTULO UNO
EJERCICIOS EN CLASE: Re= {-4, -3, -2, -1, 0, 1, 2, 3, 4, 5, 6, 7} (): es un nmero primo. (): 5 Determinar conjunto A(()()). ()= {2, 3, 5, 7} ()= {-4, -3, -2, -1, 0, 1, 2, 3, 4, 5} A(()())= {2, 3, 5}

Sea el conjunto referencial Re= *1, 2, 3, 4..+ y los predicados: (): es un nmero impar. (): es un nmero par. Identifique cul de las siguientes proposiciones es falsa: a) A(() ())A () es verdadera. b) Re= A()A() es verdadera. c) A()= AC () es verdadera. d) A()-A()= es falsa. e) A(()-())-A() es verdadera.

Sea el Re={1, 2, 3, 4,5}; (): es divisor de 12; (): es primo. Encuentre el valor de verdad de las siguientes proposiciones. a) [()()] b) [()()] c) [()()] (): {1, 2, 3, 4} (): {2, 3} a) [()()] verdadero. b) [()()] verdadero. c) [()()] verdadero.

CAPTULO UNO
EJERCICIOS EN CLASE. Dado el conjunto referencial Re= {-5, -4, -3, -2, -1, 0, 1, 2, 3, 4, 5}, encontrar: a) (): <0 b) (): -2<<4 c) (): es impar >1 d) (): >0 A()= {-5, -4, -3, -2, -1} A()={-2, -1, 0, 1, 2, 3, 4} A()={3, 5} A()={1, 2, 3, 4, 5} A()={0, 1, 2, 3, 4, 5} Hallar el valor de verdad de los siguientes predicados: a) A() b) A(A()()) c) A(()()) d) A(()()) Solucin: A()= AC() A()={0, 1, 2, 3, 4, 5} A(A()())= A()A() A(A()())={-5, -4, -3, -2, -1, 0, 1, 2, 3, 4} A(()())= AC()A() A(()())={0, 1, 2, 3, 4, 5} A(()())= A(()()) A(()())= {0, 1, 2, 3, 4, 5}

Dado el conjunto referencial Re= {1, 2, 3, 4, 5}, hallar el valor de verdad de los siguientes predicados:

CAPTULO UNO
()= es divisor de 12. ()= es primo. a) , ()()] Verdadero. b) , ()()] Falso. c) ,()()] Verdadero. Solucin: A()={1, 2, 3, 4} A()={2, 3, 5} A()={5} A()A()= A()A() A()A()= {1, 2, 3, 4, 5} A()A()= A()A() A()A()= {2, 3} A()A()= AC()A() A()A()= {5}
EJERCICIOS EN CLASE: Dado Re= {0, 1, 2, 3, 4, 5, 6} (): es un nmero par. (): es mayor que 7={} (): es menor que 10 (): es un nmero impar. Determinar conjuntos: a) A()A() b) A()A() c) A()A() d) A(()()) e) A[(()())(()())] f) (Re-A())(A()A()) SOLUCIN: A()= {2, 4, 6} A()= {} A()= {0, 1, 2, 3, 4, 5, 6}

CAPTULO UNO
A()= {1, 3, 5} AC()= {0, 1, 3, 5} AC()= {0, 1, 2, 3, 4, 5, 6} A()A()= {, 2, 4, 6} A()A()= {1, 3, 5} A()A()= {1, 2, 3, 4, 5, 6} A(()())= AC()() A(()())= {, 0, 1, 3, 5} A[(()())(()())]= (AC()())(AC()()) AC()()= {0, 1, 3, 5} AC()()= {0, 1, 2, 3, 4, 5, 6} A[(()())(()())]= {0, 1, 2, 3, 4, 5, 6} ((Re-A())(A()A())= {, 0, 1, 2, 3, 4, 5, 6} (Re-A())= {0, 1, 2, 3, 4, 5, 6} (A()A())= {, 1, 3, 5} PRODUCTO CARTESIANO. PAR ORDENADO: Un par ordenado es un conjunto de dos elementos, a y b, que tiene un orden; al elemento a se lo denomina primera componente y al elemento b se lo denomina segunda componente. Se representa simblicamente por: (a, b). PRODUCTO CARTESIANO: Sean dos conjuntos A y B, no vacos, denominaremos producto cartesiano entre A y B, al conjunto de todos los pares ordenados cuya primera componente pertenece al conjunto A, y la segunda al conjunto B. Simblicamente, lo representaremos: como A x B. A B= {(,)/ (A)(B)+ EJEMPLOS: A= {*, &, #} B= {@, $, } AB= N(A)N(B) AB= {(*, @), (*, $), (*, ), (&, @), (&, $), (&,), (#, @), (#, &), (#, )}

CAPTULO UNO
RELACIONES: RAB R(AB)= 2N(A)N(B) A= *?, + B= {a, b} R1 {} A
?

B a b

R2 {?, a}

A
?

B a b

R3 *, b+

A
?

B a b

R4 *?, b+

A
?

B a b

R5

A
?

B a b

R6

A
?

B a b

R7

A
?

B a

R8

A
?

B a

b
B a b R10

b
B a b

R9

A
?

A
?

CAPTULO UNO

R11

A
?

B a b

R12

A
?

B a b

R13

A
?

B a b

R14

A
?

B a b

R15

A
?

B a b

R16

A
?

B a b

PROPIEDADES: N(AB)= N(A)N(B) A(BC)= (AB)(AC) A(BC)= (AB)(AC) A(B-C)= (AB)-(AC) A(BC)= (AB)(AC) EJERCICIOS EN CLASE: A= {1, 2, 3} B= {a, b} AB= {(1, a), (1, b), (2, a), (2, b), (3, a), (3, b)} A= {(a, b)} B= {1, 2}

CAPTULO UNO
AB= {1(a, b), 2(a, b)} A= {2, 4, 5} B= {1, 3, 5} R= {(,)/+ es nmero primo} R= {(2, 1), (2, 3), (2, 5), (4, 1), (4, 3)} DOMINIO DE UNA RELACIN. Dada una relacin R, construida a partir de los conjuntos A y B, los elementos del conjunto A que establecen correspondencia constituyen el dominio de la relacin. Se representa simblicamente por: dom R. dom R= {2, 4}

EJERCICIOS EN CLASE: A= {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} B= {(0, 0), (3, 1), (4, 2), (6, 3), (8, 4)} Condicin: a=b+c 0+0=0 3+1=4 4+2=6 6+3=9 8+4=12 R= {(0, (0, 0), (4,(3,1)), (6,(4, 2), (9,(6, 3))} dom R= {0, 4, 6, 9} rg R= {(0, 0), (3, 1), (4, 2), (6, 3)} R1
0 1 2 3 4 5 6 7 8 9

(0,0) (3,1) (4,2) (6,3) (8,4)

CAPTULO UNO
FUNCIN Una relacin de A en B es una funcin si y solo si el dominio de la relacin es todo el conjunto de partida, y si a cada elemento del dominio le corresponde un nico elemento en el rango. Simblicamente, esta definicin se representa por: 1. dom R= A 2. A1, 2B,( R 1)( R 2)(1= 2)] Para denotar funciones usualmente se utiliza la letra y se representa de la siguiente manera: : ab.
A= {a, b, c, d} B= {1, 2, 3} R1= {(a, 1), (b, 2), (c, 2), (d, 3)} R2= {(a, 1), (b, 2), (b, 3), (d, 1)} R1 A
a b c d

B
1 2 3

R2

A
a b c d

B
1 2 3

dom1= {a, b, c, d} rgr= {1, 2, 3}

dom2= {a, b, d} rgr= {1, 2, 3}

TIPOS DE FUNCIN. INYECTIVA: Una es inyectiva si cada elemento del rango es imagen exclusiva de nico elemento de dominio. Es necesario que N(A)N(B) para poder construir funciones inyectivas. Ejemplo: A= {2, 4, 5} B= {8, 64, 125, 216} : AB, es el cubo de : {(2, 8), (4, 64), (5,125)}

CAPTULO UNO
A
2 4 5

B
8 64 125 216

dom= A rg= {8, 64, 125}

SOBREYECTIVA: Una es sobreyectiva si rg= B. Es necesario que N(A)N(B) para poder construir funciones disyuntivas. Ejemplo: A= {-1, 0, 1} B= {0, 1} : AB, es cuadrado de . : {(-1, 1), (0, 0), (1, 1)} A
0 -1 1

B
0 1

dom= A rg= B

BIYECTIVA: Una es biyectiva si y slo si una es inyectiva y es sobreyectiva. Ejemplo: A= {Guayas, El Oro, Los Ros} B= {Machala, Guayaquil, Babahoyo} : AB, es capital de . :{(Guayas, Guayaquil), (El Oro, Machala), (Los Ros, Babahoyo)}

CAPTULO UNO

A
Guayas El Oro Los Ros

B
Machala. Guayaquil Babahoyo.

dom= A rg= B

EJEMPLOS: Determinar el valor de verdad: A= {a, b, c} B= {2, 4, 6, 8} a) r= verdadero. b) r= {(a, 2), (b, 6), (c, 8)} verdadero. c) r= {(2, a), (2, b), (2, c)} falsa. R= {(a, 2), (a, 4), (a, 6), (a, 8), (b, 2), (b, 4), (b, 6), (b, 8), (c, 2), (c, 4), (c, 6), (c, 8)} A= {a, b, c, d} B= {2, 4, 6, 8} r: AB R= {(a, 2), (a, 4), (a, 6), (a, 8), (b, 2), (b, 4), (b, 6), (b, 8) (c, 2), (c, 4), (c, 6), (c, 8), (d, 2), (d, 4), (d, 6), (d, 8)} = {(a, 2), (b, 2), (b, 8), (c, 4)} A
a b c d

B
2 4 6 8

CAPTULO UNO
A= {2, 3, 4} B= {4, 5, 7} r= AB r= es divisor de . : {(2, 4), (4, 4)} A= {a, b, c} B= {, } R1= *(a, ), (c, )+ R2= *(b, )+ R1 R2

A
2 3 4

B
4 5 7

A
a b c

Si A y B son dos conjuntos finitos no vacos donde N(A) N(B) entonces cualquier funcin de A en B es inyectiva. Verdadero falso

A={ 1, 2, 3, 4} B={a, b, c, d } R={(1,a),(1, b), (1,c),(1, d), (2,a),(2, b), (2,c),(2, d), (3,a),(3, b), (3,c),(3, d), (4,a),(4, b), (4,c),(4, d) }
A
1 2 3 4

B
a b c d