CAPITULO I: LGICA Y CONJUNTOS

Si la Matemtica hablase, empleara a la lgica para comunicarse... La lgica tradicional o lgica Aristotlica constituye una de las partes ms importantes del desarrollo de la matemtica como ciencia exacta, estudiarla en detalle demandara mucho tiempo y dedicacin, as que en esta parte solo trataremos los aspectos bsicos pero importantes que todo estudiante, que aspira seguir una carrera de ciencias o ingenieras, debe saber. En general, un enunciado es toda frase u oracin que se utiliza en el lenguaje comn, por consiguiente, toda expresin que decimos u omos (con sentido o carente de l) son ejemplos de enunciados. Luego, podemos definir a una proposicin como aquel enunciado que expresa un pensamiento o idea cabal y que en muchos casos es susceptible a ser demostrado. Entre las proposiciones destacan las llamadas proposiciones lgicas cuya caracterstica fundamental es la de ser verdadera: V o falsa: F pero no ambas a la vez. Por ejemplo: 1. Juan borrador cielo do re cuarzo tres. 2. Vamos a jugar un partido de ftbol. 3. Jpiter es un planeta ms grande que Marte. 4. Dos tercios es mayor que la unidad. Claramente, el ejemplo 1 es un enunciado sin sentido, 2 es una proposicin, 3 es una proposicin verdadera y 4 es una proposicin falsa. Luego, solo 3 y 4 son proposiciones lgicas. La veracidad o falsedad de una proposicin lgica se obtiene de la disciplina o suceso de donde proviene en base a raciocinios coherentes y sistemticamente organizados. Convencionalmente, a las proposiciones lgicas se les representa mediante las letras minsculas: p, q, r, s, t, etc. cada una de estas letras constituye una variable proposicional. Dada una proposicin lgica p, siempre es posible saber si es verdadera (V) o falsa (F), es decir, siempre se puede averiguar su valor de verdad, esto se dispone en una tabla llamada tabla de verdad: Valor de verdad p Verdadero V Falso F Por ejemplo: p: Puno es capital del Per. (F) q: 47 es un nmero simple. (V) En adelante, por brevedad, en lugar de decir proposicin lgica diremos simplemente proposicin, quedar entonces sobreentendido que siempre trabajaremos con proposiciones lgicas. Una proposicin se llama simple o atmica o elemental cuando su enunciado consta de un solo sujeto y un solo predicado. Las proposiciones p y q del ejemplo anterior son proposiciones simples. Una proposicin se llama compuesta o molecular o coligativa cuando est constituida por dos o ms proposiciones simples (en un nmero finito de veces) unidas por conectivos lgicos. Los conectivos lgicos son operadores lgicos que relacionan dos proposiciones simples, los ms importantes son: La conjuncin: p q , se lee: p y q ; p adems q ; p tambin q ; p al mismo tiempo que q ; p as como q ; etc. La disyuncin: p q , llamada tambin disyuncin dbil o inclusiva , se lee: p o q ; p salvo q ; p a menos que q ; etc. La condicional: p q , llamada tambin implicacin , se lee: si p entonces q ; p implica q ; q puesto que p ; q ,si p ; p es suficiente para que q ; etc. A p se le llama antecedente y a q consecuente. La bicondicional: p q , se lee: p si y solo si q o p es una condicin necesaria y suficiente para q . Tablas de verdad de los principales conectivos lgicos:

Observe que: La conjuncin es verdadera solo cuando las dos proposiciones son verdaderas, en cualquier otro caso es falsa. La disyuncin es falsa solo cuando las dos proposiciones son falsas, en cualquier otro caso es verdadera. La condicional es falsa solo cuando el antecedente es verdadero y el consecuente falso, en cualquier otro caso es verdadera. La bicondicional es verdadera cuando las dos proposiciones son iguales y es falsa cuando son diferentes. Estas observaciones son muy prcticas cuando se quiere evaluar la tabla de verdad de una proposicin compuesta.

La negacin: La negacin no es propiamente un conectivo lgico, ya que puede aplicarse a una proposicin simple as como tambin a una proposicin compuesta. Puede ser considerada como un operador lgico que niega o cambia el valor de verdad de una proposicin (simple o compuesta).

p convencionalmente se lee: no p cuando la proposicin es simple, por ejemplo, si p: Juan es mdico. p: Juan no es mdico. Y cuando la proposicin es compuesta, se suelen usar las expresiones: no es cierto que p o es falso que p o no es el caso que p, etc. Por ejemplo la proposicin compuesta: No es el caso que Juan sea mdico y Miguel abogado. Tiene como proposiciones simples a p: Juan es mdico. ya q :Miguel es abogado. Luego, su enunciado inicial se representara como: (p q) La negacin cambia el valor de verdad donde se haga presente, es decir: (V) F ; tambin ( F ) V, luego, podemos asociarle la siguiente tabla de verdad:

En base a los principales conectivos lgicos, se pueden definir otros operadores lgicos tales como: La disyuncin fuerte o exclusiva: p q simbolizada tambin por p q , se lee: p o q pero no ambos ; o bien p o bien q. Tambin se le conoce como diferencia simtrica. La rplica material: p q es la condicional intercambiada la p por la q, se lee p replica a q. La negacin alternativa: p | q es la negacin de la conjuncin, se lee no p o no q. La negacin conjunta: p q es la negacin de la disyuncin, se lee ni p ni q.

Sus tablas de verdad son:

Observe que con 2 proposiciones simples ( p y q ) existen en total 4 combinaciones posibles. En general, si en una proposicin compuesta existen n proposiciones simples, entonces: Nmero de combinaciones = Jerarqua de los conectivos lgicos: En una proposicin compuesta, las operaciones se realizan usando los delimitadores: parntesis ( ), corchetes [ ] o llaves {} ; se efectan las proposiciones que se encuentran dentro de estos delimitadores y luego siguen sus negaciones de izquierda a derecha. Si en una proposicin compuesta se tiene un valor VERDADREO para cualquier combinacin de valores veritativos de sus componentes se le llama tautologa, si por el contrario es siempre FALSO, se le llama contradiccin, y si por lo menos existe una V y por lo menos una F, se le llama contingencia. Una implicacin lgica es toda condicional p q que sea tautologa, en tal caso a la condicional se le denota por p q. Tambin, una equivalencia lgica es toda bicondicional p q que sea tautologa, en tal caso a la bicondicional se le denota por pq. Dos proposiciones p y q se llaman equivalentes o lgicamente equivalentes si sus tablas de verdad son idnticas. Esto se simboliza por: p q, lo significa que el resultado es el mismo si en lugar de p se considera a q. Leyes del lgebra proposicional:
1. Idempotencia: a) p p p b) p p p 2. Conmutatividad: a) p q q p b) p q q p c)pqqp 3. Asociatividad: a) p (q r) (p q) r p q r b) p (q r) (p q) r p q r c) p (q r) (p q) r p q r 4. De DMorgan: a) (p q) p q b) (p q) p q 5. Distributividad: a) p(qr)(pq)(pr) b) p(qr)(pq)(pr) c) p (q r) (p q) (p r) d) p(qr)(pq)(pr) 6. Absorcin: a) p (p q) p b) p (p q) p c) p (p q) p q d) p (p q) p q 7. De la condicional: a) p q p q b) p q q p 8. De la bicondicional: a) p q (p q) (q p) b) p q (p q) ( p q) 9. Equivalencias adicionales: a) V F b) F V c) p V V d) p F p e) p p V f) p V p g) p F F h) p p F i) ( p) p j) p q (p q) (q p) k) p q (p q) (p q)

Ejemplo 1: Si la proposicin: { [ (p q) (r q)] (s p)} Es una contradiccin, entonces los valores de verdad de p, q, r y s;
respectivamente; son: A) VVVV D) VVVF B) VVFF C) VFVF E) FFVV Solucin: Si es una contradiccin, entonces es falsa, por lo tanto la expresin dentro de las llaves debe ser verdad, es decir:

Revise esta deduccin de abajo hacia arriba. Si (r q) F r y q deben ser iguales. Claramente: p V ; q V ; r V ; s F Rpta: D

Ejemplo 2: Se define p q mediante la tabla: Simplificar: M = [(p q) p] (q p) p q pq A) p q V V V D) p q V F V B) p q C) p q F V F E) p F F V Segn la definicin de , evaluamos el esquema molecular propuesto:

De la matriz principal conseguida, se observa que es equivalente a: p q Rpta: D Ejemplo 3: Simplificar la proposicin: E = [ (p q) q] A) p q D) p q B) p q C) p q E) p q Solucin: Reducimos la proposicin E empleando equivalencias lgicas. Note que en cada paso se da su correspondiente justificacin: E [ (p q) q] [ (p q) q] [(p q) q] [ (p q) q] [( p q) q] ( p q) p q

Def. de la condicional Doble negacin DMorgan DMorgan, Doble neg. Absorcin.

E Rpta: E

CONJUNTOS Todo el estudio de la Matemtica se realiza sobre determinados objetos llamados conjuntos, es as que los conjuntos tienen un rol muy importante en la Matemtica. En esta parte expondremos las ideas y conceptos ms elementales sobre la teora de conjuntos que todo estudiante debe conocer como mnimo. Un conjunto es una coleccin o agrupacin de objetos bien definidos (llamados sus elementos) que pueden ser abstractos y/o concretos. Todo conjunto se puede determinar por: 1. Por extensin o en forma tabular: Cuando se citan a sus elementos uno por uno. 2. Por comprensin o forma constructiva: Cuando se indica una propiedad, cualidad o caracterstica comn de sus elementos. Por ejemplo, si A es un conjunto cuyos elementos son a, e, i, o, u, entonces: A ={a, e, i, o, u} es su representacin por extensin. Y: A = {x | x es una vocal} es su representacin por comprensin. Cualquier conjunto se puede representar grficamente haciendo uso de los conocidos diagramas de Venn Euler. Un diagrama de Venn Euler es cualquier figura plana cerrada. La figura muestra la representacin grfica para el conjunto A del ejemplo anterior.

La relacin de pertenencia se d exclusivamente entre un conjunto y sus elementos. Si x es un elemento de un conjunto X , se dice que x pertenece al conjunto X y se escribe: x X . Si por el contrario x no es un elemento de un conjunto X , se dice que x no pertenece al conjunto X y se escribe: . Para el conjunto A del ejemplo precedente: a A pero , etc.

Clases o tipos especiales de conjuntos: 1. Conjunto vaco: Es aqul conjunto que no tiene elemento alguno, se representa por o por {} y podemos definirlo como:

2. Conjunto finito: Un conjunto X es finito cuando es vaco o cuando se puede contar a todos sus elementos y llegar as hasta un ltimo elemento, esto significa que por as decirlo podemos etiquetar a sus elementos (sin repetirlos) con los nmeros naturales 1, 2, ... ,n. Si logramos ello se escribe: X = {x1, x2, x3,..., xn} Luego, se define el cardinal de un conjunto finito como el nmero n de elementos no repetidos que posee. Notacin: card(X)= n Por definicin, el cardinal del conjunto vaco es cero: card () = 0 Naturalmente, un conjunto con un solo elemento se llama conjunto unitario, por ejemplo, si A = {x, y, z } es un conjunto unitario x = y = z ; tambin X = { 5; 5; 5; 5; 5 } = { 5 } lo es. 3. Conjunto infinito: Un conjunto se llama infinito cuando no es finito. 4. Conjunto universal: Convencionalmente se asume la existencia de un conjunto que contiene todo, a tal conjunto se le llama conjunto universal, en este sentido podemos definirlo como: U ={x|x = x} Sin embargo, por comodidad es frecuente emplear un universo relativo como por ejemplo si se tratan intervalos de IR, entonces el universo sera el propio IR. Relaciones entre conjuntos: 1. La inclusin: A B, se lee A est contenido en B o A es subconjunto de B. Se define como: A B (todo elemento de A est en B) Nota: La expresin A B tambin se escribe como B A y se lee B contiene a A. Si X es un conjunto arbitrario, entonces se cumple: X y tambin: X X 2. La igualdad: A = B, se lee A es igual a B y se define como: A = B(AB BA) 3. Conjuntos disjuntos: Dos conjuntos son disjuntos cuando no tienen elementos en comn. Por ejemplo, si A= {x | x es un nmero par} y B = {x | x es un nmero impar}, entonces A y B son conjuntos disjuntos, ya que ningn elemento de A est en B y recprocamente, ningn elemento de B est en A. 4. Conjuntos comparables: Dos conjuntos A y B son comparables cuando o bien AB o bien BA. Por ejemplo, si A ={x|x es un mamfero} y B ={x | x es una oveja}, se observa que solo se cumple BA, ya que toda oveja es mamfero pero no todo mamfero es oveja; por lo tanto A y B son dos conjuntos comparables. 5. Conjuntos coordinables o equipotentes: Dos conjuntos A y B son coordinables o equipotentes cuando se puede establecer una relacin biunvoca entre sus elementos, es decir, cuando a cada elemento de A le corresponde un nico elemento de B y recprocamente, a cada elemento de B le corresponde un nico elemento de A. Esto nos permite escribir: card (A) = card (B) Esta igualdad vale para conjuntos finitos e infinitos. Conjunto de conjuntos: Tambin se llama familia o clase de conjuntos, es aquel conjunto cuyos elementos son conjuntos. Por ejemplo, si A1, A2,..., An son conjuntos F = {Ai | i =1, 2,..., n} representa a una familia o clase. Conjunto potencia: Llamado tambin partes de un conjunto, si X es un conjunto entonces el conjunto potencia de X es la familia P(X) formada por todos los subconjuntos de X. Por consiguiente, para cualquier conjunto X se cumple: P(X) X P(X) De modo que la familia P(X) nunca es vaca. Por ejemplo, si X = { a; b; c } P(X)= { ; { a } ; { b } ; { c } ; { a; b } ; { a; c } ; { b; c } ; { a; b; c }} Nmero de elementos de P(X) : Si X es un conjunto finito de n elementos, entonces el conjunto P(X) tiene 2n elementos. Es decir: card [P(X)] = 2card(X)

Operaciones entre conjuntos: 1. Unin de conjuntos: AB = {x|xA xB} 4. Diferencia simtrica: A B = {x|x AB x AB} 2. Interseccin de conjuntos: AB = {x|x A xB} 5. Complemento: Otras notaciones: 3. Diferencia de conjuntos: AB = {x|x A x B} 6. Producto cartesiano: AB = {(a, b)| a A b B} donde(a, b) se llama par ordenado. a es la primera componente y b es la segunda componente.

La siguiente figura ilustra las operaciones con conjuntos.

Propiedad: Si A y B son conjuntos finitos, entonces: card(A B) = card(A).card(B) De la definicin de conjuntos disjuntos, se deduce fcilmente que A y B son disjuntosAB = Cuantificadores: 1. Universal: se lee para todo o tambin para cualquier. Si P(x) es una funcin proposicional, entonces la proposicin: x A ; P(x) [Esto se lee para todo x en A tal que P(x)], ser verdadera si y solo si P(x) se cumple para todo x de A, y si algn (por lo menos uno) x de A no cumple P(x) entonces la proposicin ser falsa. 2. Existencial: se lee existe o tambin existe por lo menos uno. Si P(x) es una funcin proposicional, entonces la proposicin: x A; P(x) [lo que se lee existe un x (por lo menos uno) en A tal que P(x) ], ser verdadera si en A existe un x (por lo menos uno) tal que la proposicin P(x) se cumple, y si no existe x en A que verifique P(x) entonces ser falsa. El hecho de que exista por lo menos uno significa que si existe ms de uno, la proposicin sigue siendo verdadera, basta que exista uno. Nota: La expresin ! se lee existe un nico . La proposicin: !A; P(x) ser verdadera si y solo si en A existe un y solo un elemento x que cumple P(x), en cualquier otro caso ser falsa. Negacin de los cuantificadores: [ x A ; P(x)] x A; P(x) Algunas propiedades del lgebra de conjuntos: 1. A A = A; A A = A 2. A B = B A; A B = B A 3. A = A; A = 4. A U = U; A U = A 5. 6. 7. 8. 9. A (B C) =(A B) C = A B C 10. A (B C) =(A B) C = A B C 11. A (B C) = (A B) (A C) 12. A (B C) = (A B) (A C) 13. A B = (A B) (B A) 14. A B A B = B 15. A B A B = A 16. A (A B) = A (Absorcin) 17. A (A B) = A (Absorcin) 18. 19. [ x A; P(x)] x A; P(x)

Ejemplo 4: Al consultar a un grupo de personas sobre la preferencia por dos marcas de bebidas A y B , se obtuvo la siguiente informacin: I. El 65 % no prefiere A. II. El 45 % no prefiere B. III. El 50 % prefiere solo una de ellas.

Qu parte de la poblacin no prefiere ninguna de las dos bebidas? A) 20 % D) 35 % B) 30 % C) 40 % E) 25 % No sabemos a cuntas personas se han consultado, entonces asumimos que se preguntan a 100 personas (100 %) sobre dicha preferencia. Si el 65 % no prefiere A, 35 % s la prefiere; y si 45 % no prefiere B, 55 % s la prefiere. Luego se tiene: n(A)=35 ; n(B)=55

De la figura, nos piden x. Si el 50 % prefiere solo una de ellas (parte azul), el otro 50 % ser el resto la interseccin debe ser 50x. Luego, es fcil darse cuenta de x 15 y 5 + x. Por consiguiente, parte azul: (x 15) + (5 + x) = 50 de donde x = 30 30 % Rpta: B Ejemplo 5: Los cardinales de los conjuntos A , B y C son tres nmeros enteros y consecutivos. Si se verifica: n[P(A)] + n[P(B)] + n[P(C)] = 448 Determine el valor de: E = n(A)+n(B)+n(C) A) 21 D) 15 B) 24 C) 18 E) 27 Sean: n(A)=a ; n(B) = a + 1 n(C) = a + 2

De donde a =6. Luego: E = n(A)+n(B)+n(C)=6+7+8=21 Rpta: A Ejemplo 6: Sea P ={0; 1; 2; 3; 4; 5}, halle el valor de verdad de las siguientes proposiciones: p: x P, x +3 > 2 x + 1 < 7 q: x P, x +1 = 5 x 2 =1 r : x P, x +2 = 3 x 1 =0 A) FFF D) VFF B) VVF C) VVV E) FVF Realizando operaciones bsicas, las proposiciones son equivalentes a: p: x P, x > 1 x < 6 q: x P, x = 4 x = 3 r: x P, x = 1 x = 1 As mismo, p x P, 1 < x <6 que se cumple x P p V Para simplificar un poco ms la proposicin q, recordemos que u v u v. Luego: x=4x=3 (x = 4) (x = 3) (x 4) (x = 3) La proposicin q afirma que existe un x P tal que(x 4) (x = 3) la cual es verdadera ya que 3 P la cumple: q V Recordemos que u u es verdadera para cualquier valor de verdad de la proposicin u. Luego: x P, x = 1 x = 1 Es verdad para cualquier valor de x r V Rpta: C