INFORMTICA INGENIERA CIVIL INGENIERA ELCTRICA ELECTRNICA Y TELECOMUNICACIONES

ALGEBRA NIVELACIN

CAPTULO 1

SEPTIEMBRE 2013

EL MTODO MATEMTICO
1.1 Introduccin: Estructuracin de un Sistema Matemtico. 1.2 Conjuntos. 1.3 Proposiciones cerradas y abiertas. 1.4 Operaciones con Conjuntos y con Proposiciones. 1.5 Propiedades de las operaciones entre conjuntos. 1.6 Propiedades de las operaciones entre proposiciones. 1.7 Leyes del Algebra de Conjuntos y Proposiciones. 1.8 Formas de la Implicacin. 1.9 Cuantificadores. 1.10 Razonamientos. 1.11 Mtodos de demostracin. OBJETIVOS DEL CAPITULO: Al concluir el estudio y prctica de este captulo, el estudiante se encontrar en capacidad de: 1. Emplear correctamente las definiciones en la escritura de expresiones con conjuntos y proposiciones. 2. Construir y utilizar los diagramas de Venn y Lineales como recurso para ilustrar conceptos y obtener conclusiones en la teora de conjuntos. 3. Relacionar los conceptos de la lgica en el manejo de los conjuntos y sus operaciones. 4. Identificar las clases de proposiciones con su correspondiente ejemplificacin y, construir y diferenciar las proposiciones compuestas por medio del uso de los conectores lgicos. 5. Leer los smbolos, usar el vocabulario adecuado y la correcta notacin para expresar los conceptos de la teora de conjuntos y proposiciones. 6. Aplicar adecuadamente todas las operaciones y propiedades de conjuntos y proposiciones en la resolucin de ejercicios y problemas. 7. Manejar correctamente la simbologa y operatividad de las implicaciones y equivalencias lgicas; y de modo similar los cuantificadores y razonamientos, como los mtodos de demostracin.

ESTRUCTURACIN DE UN SISTEMA MATEMTICO

Comenzamos con el estudio del desarrollo lgico del Sistema Matemtico. Lo primero que se debe analizar son los nuevos trminos que tenemos que introducir. Cada trmino tiene una definicin, pero dichas definiciones caen en crculos viciosos, haciendo poco vlidas o invlidas aquellas definiciones. Para no involucrarnos con lo anterior, debemos estructurar nuestro Sistema Matemtico siguiendo los siguientes criterios: 1. UN CONJUNTO DE TRMINOS NO DEFINIDOS: Son palabras tcnicas necesarias para la estructuracin del sistema matemtico que aceptamos y los nombramos como trminos no definidos. Ejm: Punto, recta, conjunto, elemento, pertenencia, proposicin, verdadero, falso, etc. 2. UN CONJUNTO DE TRMINOS DEFINIDOS: Se construye usando los trminos no definidos, o se obtienen en funcin de palabras que a su vez se definan en funcin de las palabras sin definir. Esto es bsico para la construccin de un sistema lgico y matemtico. Adems debemos tener presente que las definiciones que se pretendan pueden contener palabras de uso frecuente en el idioma como: es, el, y, o, etc. Que no tienen significado matemtico especial. Ejm: Palabras sin definir: Punto, recta y entre. Definamos: Segmento rectilneo: La porcin de recta contenida entre dos puntos dados de una recta. Las palabras distintas a las 3 no definidas, no tienen un significado tcnico en especial; luego se las puede usar libremente. Las definiciones establecidas deben tener sentido y no ser contradictorias. Ejm: Tringulo: recta, recta, recta, punto, punto, punto; no cumple las condiciones establecidas. 3. UN CONJUNTO DE PROPOSICIONES: Usando los conjuntos anteriores, una vez preparado el vocabulario de trminos no definidos y de trminos definidos; podemos formular proposiciones acerca de estos nuevos trminos, que son frases a base de las palabras tcnicas y otras no tcnicas. Se tienen los siguientes tipos de proposiciones: Proposiciones cerradas y proposiciones abiertas o funciones proposicionales; que luego en el estudio las daremos dedicacin especial. 4. AXIOMAS O POSTULADOS: Son proposiciones cerradas que aceptamos como verdaderas. No es correcto admitir un axioma aislado; sino un conjunto de axiomas que reflejen correctamente las propiedades realmente existentes. 5. TEOREMAS: Son proposiciones cerradas cuya verdad ha de ser probada o demostrada aplicando un proceso lgico, a partir de los conjuntos de trminos no definidos, definidos y axiomas que se aceptan como verdaderos. Para la verdad o falsedad de estas proposiciones, se debe proceder aplicando las leyes de la lgica, y mtodos de demostracin adecuados, que es el objetivo cspide que pretendemos alcanzar.

Estudiaremos varios aspectos o principios bsicos que nos permitan alcanzar con facilidad y comprensin nuestros objetivos.

PRINCIPIOS BSICOS
Definicin intuitiva de conjunto.- Es la reunin o coleccin de objetos bien definidos, sean estos fsicos o abstractos. Objetos fsicos.- Son aquellos que se pueden tocar, como: personas, libros, vehculos; cosas en general. Objetos abstractos.- Son aquellos de los cuales se tienen nicamente una idea, como: das de la semana, letras del alfabeto, nmeros, etc. Ejemplos de conjuntos: 1. El conjunto formado por los alumnos: Luis, Juan, Carlos del primer ao A de Ingeniera. 2. El conjunto formado por los libros de Fsica, Geometra y Anlisis. 3. El conjunto formado por las vocales. 4. El conjunto formado por los das de la semana. 5. El conjunto formado por los nmeros naturales. A los conjuntos se los nombra con letra maysculas indistintamente. Los objetos que forman los conjuntos, son los elementos del conjunto y se los representan con letras minsculas o nmeros. Para los ejemplos colocados antes, se puede tener como: 1. A = { l, j, c } 2. B = { f, g, a } 3. C = { a, e, i, o, u } 4. D = { l, m, n, j, v, s, d } 5. N = { 1, 2, 3, 4, 5,} los puntos suspensivos significa que los nmeros siguen en forma indefinida hacia la derecha. Cardinalidad de un conjunto: Se obtiene comparando los elementos de un conjunto dado con los elementos del conjunto de los nmeros naturales, y el ltimo elemento correspondiente al conjunto de los nmeros naturales da la cardinalidad del conjunto. Es decir es simplemente el nmero de elementos del conjunto. Y se representa as: n(...) ; donde entre los parntesis ir el nombre del conjunto. As para nuestros ejemplos anteriores: n(A)= 3 n(B)=3 n(C)=5 n(D)=7 n(N)= No se puede determinar.

Cuando un elemento est en un conjunto, se dice que pertenece a ese conjunto as para el ejemplo 3. el elemento a pertenece al conjunto C y se representa a C , y cuando no est en el conjunto se dice que no lo pertenece, as el elemento f para el ejemplo 3. no pertenece al conjunto C y se representa del modo siguiente f C, nicamente tachando el smbolo usado anteriormente. Propiedades Caractersticas de un conjunto: Los conjuntos se pueden definir por: 1. Tabulacin o extensin.- Se define un conjunto por extensin o tabulacin cuando sus elementos van separados por comas y encerrados entre llaves; como ya se indic en los ejemplos anteriores. 2. Comprensin o Construccin.- Un conjunto est definido por construccin o comprensin, cuando se dan las caractersticas o propiedades que deben cumplir los elementos del conjunto. Y se representa as: A= { x / x.... } Donde en lugar de los puntos suspensivos se colocan las caractersticas o propiedades que deben cumplir los elementos del conjunto.

Y se lee: El conjunto A est formado por los elementos x tales que x. Ejemplos: C={ x/x sean las vocales } n(C)=5 D={ x/x sea un da de la semana } D={ l, m, n, j, v, s, d } n(D)=7 E={ x/ -3 x < 4, x I} E={ -3, -2, -1, 0, 1, 2, 3 } n(E)=7 H={x/-2<x 5, x N} H={ 1, 2, 3, 4, 5 } n(H)=5

I N

Nmeros enteros Nmeros naturales

K={x/-2<x 5, x R} R Nmeros reales K= (-2,5] Intervalo semiabierto por la izquierda. n(K)= no se puede determinar.

CLASES DE CONJUNTOS
Conjunto Finito: Es aquel que tiene un nmero definido de elementos; el que tiene cardinalidad; es decir se conoce con exactitud el nmero de elementos que lo compone. Ejemplos: A={ x/x sean letras del alfabeto } B={ 1,2,3,12'000.000 } C={ x / x sea habitante de la Tierra } Conjunto infinito: Es aquel que no posee un nmero definido de elementos; el que no tiene cardinalidad; es decir no se puede determinar el nmero de elementos que lo compone. Ejemplos: N= Conjunto de los nmeros naturales. D={ x/x sean estrellas del universo } Conjunto Vaco: Es aquel conjunto que carece de elementos; y se representa: Por Tabulacin: = { }, y Por Comprensin: ={x/x x} Ejemplo: E = {x/ 3<x<4, x N } ; lo cual da por tabulacin E = H = {x/ x, sean letras del alfabeto, anteriores a la letra A } F = {x/ x2 = 9 y x sea par } ; definiendo por tabulacin ser F = Conjunto Universo: Es aquel que tiene como elementos, los elementos de otros conjuntos, y su smbolo es U. Ejemplo: A = {x / -5 x 0, x I}, por extensin es A = { -5, -4, -3, -2, -1, 0 } , n(A)=6 B = {x / -3 x<5, x I} , por extensin es B = {-3, -2, -1, 0,1,2,3,4 } , n(B)=8 C = { , -8, -6, , -9, 7,11,13 } , n(C)= 8 Luego podemos tener, de acuerdo al problema que se est analizando o resolviendo varios universos; a continuacin colocamos dos de ellos. Los cuales tambin podemos representarlos con subndices. U1 = { -9, -8, -6, -5, -4, -3, -2, -1,0, , 1, , 2,3,4,7,11,13 }, n(U1)=18 U2 = { -9, -8, -6, -5, -4, -3, -2, -1,0, , 1, , 2,3,4, 5,6, 7, 8,9,10,11,13 }, n(U2 )=23

Conjunto de Conjuntos: Es aquel que tiene como elementos otros conjuntos. Ejemplos: A = { 1, 2, { a }, {1,3}}, n(A)=4 , este conjunto no es un conjunto de conjuntos. B = {{}, ,{1,2}, ,{1,2}} , n(B)=2 C = {{ },{0}} , n(C)=2 D = { 0 } , n(D)=l , este conjunto no es un conjunto de conjuntos. E = { , {},{{}},{}, {{ }}} , n(E)=3 Conclusin: Cuando un conjunto tiene como elementos slo conjuntos, como es el caso de los conjuntos B; C; y E antes citados, se les llama tambin familia de conjuntos.

RELACIONES ENTRE CONJUNTOS

1. Relacin de Igualdad ( o Conjuntos Iguales ): Dos conjuntos A y B son iguales si todos y cada uno de los elementos del conjunto A son iguales a todos y cada uno de los elementos del conjunto B sin importar el orden en que aparezcan. Ejemplo: Se da el siguiente conjunto A, definido por comprensin: A = { x / x sea primo <15 , x = 1 } ; definiendo por tabulacin se tendr: A = { 1, 2, 3, 5, 7, 11, 13 } , n(A)=7 Adems se conocen los conjuntos: B = { 1, 2, 13, 11, 5, 7, 3} , n(B)=7 y, C = {3, 5, 7, 11, 13, 15, 1} , n(C)=7 1.- Si relacionamos A con B tenemos:

} 2.- Pero si relacionamos A con C ; se tiene que, a pesar que la cardinalidad de los dos conjuntos son idnticas, las siguientes caractersticas que los diferencia, as: } Los siguientes son varios conjuntos numricos que se usan con mucha frecuencia en nuestro estudio: N= {1,2,3,4,.} I= { ... -3, -2, -1,0, 1,2,3,4,...} ={....-3,-2,-1} D={0, 1,2,3,4,...} Np = { 2, 3, 5, 7,11, 13, 17, 19,23,29, 31,... } Q = { x / x sea igual a , b 0 } Q= { x / x , b 0} N I I

Nmeros naturales o enteros positivos. Nmeros enteros. Enteros negativos. Enteros no negativos. Nmeros primos. Nmeros racionales. Nmeros irracionales. Nmeros reales. C Nmeros complejos.

D Np Q Q R

R = { x / x sea elemento de los N, I, Q, Q' } C={z/ z = a + bi, a, b R} {

2. Conjuntos equivalentes: Dos conjuntos A y B son equivalentes cuando todos los elementos del conjunto A se ponen en correspondencia uno a uno con todos y cada uno de los elementos del conjunto B. A dicha correspondencia de elementos de uno a uno se la conoce como correspondencia biunvoca. Ejemplo: Se da el conjunto A={x/ x sea I+ impar 11}; que expresado por tabulacin ser: A = { 1,3,5,7,9,11 }, n(A)=6 , y el conjunto B = { a, b, c, d, e, f } con n(B)=6. La correspondencia entre los elementos del conjunto A y del conjunto B se puede establecer del siguiente modo: A 1 3 5 7 9 11 B a b c d e f

Las flechas indican la correspondencia entre los elementos de los dos conjuntos; pueden haber otras correspondencias uno a uno entre los elementos dados de los conjuntos A y B. Como los elementos del conjunto A si estn en correspondencia uno a uno con los elementos del conjunto B; se dice que los dos conjuntos son equivalentes, y se representa simblicamente de la siguiente manera: A A B. Si no se presenta la correspondencia indicada, entonces se representa de la siguiente forma: B ; que se lee: el conjunto A no es equivalente al conjunto B.

RELACIONES DE INCLUSIN
3. Subconjunto ( o Subconjunto Impropio ): Un conjunto A es subconjunto de otro conjunto B cuando todos los elementos del conjunto A estn en el conjunto B. Ejemplo: Dados los conjuntos: A ={x/ 5 x 11 , x impares } que expresado por extensin es A={ 5, 7, 9, 11 } con n(A)=4 , y B={ 11, 9, 7, 5}, con n(B)=4 Entonces se tiene que: }

Cuando no ocurre lo indicado antes, entonces se dice que A no es subconjunto del conjunto B; y se lo representa as: A B. Para el caso del ejemplo que se est analizando se tiene adems que: tanto A B como B A , entonces se concluye que A y B son iguales. Luego, entonces: A = B , si y solo si A B y B A. 4. Subconjunto Propio: El conjunto A es subconjunto propio de otro conjunto B si y solo si estos conjuntos cumplen con las siguientes condiciones: 1. A B , y 2. n(A) n(B) ; Es decir; que el conjunto A es subconjunto o subconjunto impropio del conjunto B y que adems la cardinalidad del conjunto A sea distinta de la cardinalidad del conjunto B, entonces como consecuencia, y simblicamente se representa as: A B , que se lee: El conjunto A es subconjunto propio del conjunto B. O tambin se dice que el conjunto B es superconjunto del conjunto A, y se lo representa as: B A. Tambin, esto que se ha indicado en las lneas de arriba, se lo aplica para el caso del numeral 3. Ejemplo: Dados los conjuntos A y B , analizar la relacin de inclusin propia entre ellos.

Donde: A={ x / x 10, x I+ pares } , que definido por tabulacin es A={ 2, 4, 6, 8, 10 } , con n(A)=5 y, B={ 2, 4, 6, 8, 10, 12 } , con n(B)=6. Realizando el anlisis tenemos que: 1. A si es subconjunto de B , que se indica como A B , y 2. La cardinalidad n(A)=5 es distinta de la cardinalidad n(B)=6, entonces como consecuencia se tiene que el conjunto A si es subconjunto propio del conjunto B, es decir A B B A. Conclusiones: 1. El conjunto vaco es subconjunto de todo conjunto. 2. El conjunto vaco es subconjunto de si mismo, pero no es subconjunto propio de si mismo; es decir si se cumple , pero no se cumple que , entonces . 3. Cualquier conjunto A es subconjunto de si mismo, A A ; pero no es subconjunto propio de si mismo, A A . 4. Si A B A B , se dice entonces que los dos conjuntos A y B son comparables. 5. Conjunto Potencia: Es aquel conjunto que tiene como elementos todos los subconjuntos que se pueden formar con los elementos de un conjunto dado. As, si analizamos para varios conjuntos con distinto nmero de elementos, tenemos el siguiente cuadro: Nombre N de elementos A B C D E F 1 2 3 4 5 N SUBCONJUNTOS , {1} , {a}, {b}, {a,b} ,{1},{3},{5},{1,3},{1,5},{3,5},{1,3,5} .................... .................... .................... Conclusin 21 22 23 24 25 2n

Donde los conjuntos son: A={ 1 } , B={ a, b } , C={ 1, 3,5 } Del cuadro, en la conclusin; los exponentes son siempre el nmero de elementos. Nomenclatura: El conjunto potencia se representa as: conjunto. Se lee: El conjunto potencia del conjunto es: As, para los casos observados en el cuadro de arriba se tiene: 2A = { , {1}} , con n(2A) = 2 2B = { ,{a},{b},{a,b}} , con n(2B) = 4 2C = { , {1},{3},{5},{1,3},{1,5},{3,5},{1,3,5} } , con n(2C )=8 Conclusin: Todo conjunto potencia es una familia de conjuntos. 6. Conjuntos Intersecantes: Dos conjuntos son intersecantes cuando tienen elementos comunes. Basta que haya un solo elemento comn y ya son intersecantes. Ejemplo: Para A = {1,3,5,7} , n(A) = 4 B = {2,4,6,7,9} , n(B) = 5 A,y7 B ; entonces se dice que el conjunto A es intersecante con el , donde, en ...... se coloca el nombre del

Se tiene que: 7 conjunto B.

7. Conjuntos Disjuntos: Dos conjuntos son disjuntos cuando no tienen elementos comunes. Ejemplo: A = {2,4,6,8} , n(A) = 4 B = {a,b,c,d} , n(B) = 4 2,4,6,8 A , y 2,4,6,8 B ; por lo tanto A es disjunto con B.

REPRESENTACIN GRFICA DE CONJUNTOS

Se los representa por medio de diagramas de Venn-Euler y mediante Diagramas Lineales. 1. Diagramas de Venn-Euler: Para representar un conjunto mediante estos diagramas, se utilizan figuras geomtricas, por lo general se emplea la circunferencia para cualquier tipo de conjunto y el rectngulo para el conjunto Universo. Ejemplo: A= {x / -5 x<4, x I impares} A= {-5,-3,-1, 1, 3} , n(A) = 5

-3 1 -1 3

-5

A 1 3 -1 -3 -5 3 -3 1 -5 -1

Si, se tiene adems un Universo U = {-6, -5, -3, -2, -1, 1, 2, 3 } n(U) = 8 ; la representacin, mediante diagrama de Venn - Euler, ser:

A 3 -2 -3 1 -5 -1

2 -6

U
Siempre A U

Regin: Es la zona o zonas que estn dentro de un diagrama.

ANLISIS DE REGIONES
1. Un Conjunto:

U A R1 R2

R1 = Elementos del conjunto A = { x/ x A } R2 = Elementos que no pertenecen a A; es decir elementos que solo le pertenecen a U= { x/ x R1 + R2 = Elementos que pertenecen al conjunto Universo Dos Conjuntos: Para representarlos adecuadamente, se siguen los siguientes pasos: 1. Si los conjuntos estn por: comprensin, definirlos por tabulacin. 2. Determinacin de elementos comunes. 3. Graficar los diagramas. Representacin mediante diagramas de Venn. Anlisis de regiones para dos conjuntos intersecantes: A={x/ -3 x 6, x I } A={-3, -2, -1, 0, 1, 2, 3, 4, 5} n(A)=9 B={x/ -5<x<5, x I pares} B={-4, -2, 2, 4} n(B)=4 U={-5,-4,-3,-2,-1,0,1,2,3,4,5,6,7} n(U)=13 Elementos comunes = {-2, 2, 4}

A}

Grfico:

0 -1 -2 3 2 4 51
Anlisis de Regiones:

-3

-4
-5 A

0 -1 -2 3 2 4 51

-3

-4

6 7 B

A R2 R1 R3

B R4

R1 = Elementos comunes entre A y B ={x/ x A y x R2 = Elementos slo de A ={x/ x A y x B } R3 = Elementos slo de B ={x/ x A y x B } R4 = Elementos slo de U ={x/ x A y x B } R1+R2 = Elementos de A R1+R2+R3 = Elementos de A de B de ambos R1+R2+R3+R4 = Elementos de U R1+R3 = Elementos de B R2+R3 = Elementos solo de A o elementos slo de B Conjuntos Comparables: Anlisis de regiones: a) B A
A R1 B R2 R 3 U

B}

b) A

A R1 R 2 R 3

Regiones para caso a) R1 = Elementos comunes, entre A y B R2 = Elementos slo de A R3 = Elementos slo de U R1+R2 = Elementos de A R1+R3 = Elementos de B solo de U R1+R2+R3 = Elementos de U , A o B todos R2+R3 = Elementos slo de A slo de U ambos, Conjuntos Disjuntos: Anlisis de regiones:
A R2 R4 B R3 U R1

R1= Elementos comunes entre A y B (no hay) R2= Elementos de A R3 = Elementos de B R4 = Elementos slo de U R1+R2= Elementos de A R1+R3 = Elementos de B R1+R2+R3+R4 = Elementos de U R1+R2+R3 = Elementos de A B de ambos R2+R3 = Elementos de A B de ambos.

Anlisis de Regiones Tres conjuntos: A={x/ x 20; x Pares} ; 1). A={2,4,6,8,10,12,14,16,18,20} B={-3,-2,-1,2,3,4,6,8,10,21,23} C={ 4,8,12,16,20,24,28,32,-3,-1} A y B={2,4,6,8,10} A y C={4,8,12,16,20} B y C={ 4,8,-3,-1} A, B y C={4,8} A
14 -2 6 10 21 18 4 8 -3 16 -1 20 12 28 32 24 2 3 23

n(A)=10 n(B)=11 n(C) =10

2). Elementos comunes entre Elementos comunes entre Elementos comunes entre Elementos comunes entre 3). Grfico:

C Anlisis de Regiones:

A
R5 R3 R2 R1 R4 R7 C R6

R8

R1 = Elementos comunes de A, B y C ={x/ x A y x B y x C } R2 = Elementos comunes de A y B slo de ellos ={ x/ x A y x B y x R3 = Elementos comunes slo, de A y C ={ x/ x A y x C y x B } R4 = Elementos comunes slo, de B y C ={ x/ x B y x C y x A } R5 = Elementos slo de A ={ x/ x A y x B y x C } R6 = Elementos slo de B ={ x/ x B y x A y x C } R7 = Elementos slo de C ={ x/ x C y x A y x B } R8 = Elementos slo de U ={ x/ x A y x B y x C } R1+R3 = Elementos comunes de A y C R1+R4 = Elementos comunes de B y C R1+R2+R3+R5 = Elementos de A R1+R2+R4+R6 = Elementos de B R1+R3+R4+R7 = Elementos de C R1+R2+R3+R4+R5+R6+R7 = Elementos de A B C R1+R2+R3+R4+R5+R6+R7+R8 = Elementos de U R5+R6+R7 = Elementos slo de A, slo de B, slo de C.

C}

b). Diagramas Lineales: Para. representar conjuntos mediante diagramas lineales, se utiliza lineas en lugar de figuras geomtricas y sirven nicamente para representar subconjuntos o superconjuntos. Ejm: A={x/ x sean letras del alfabeto} A={a, b, c, .., y, z} n(A)=27 B={x/ x sean las primeras ocho letras del alfabeto} B={a, b , c, d, e, f, g, h } n(B)=8 C= (p, q, r, s, t, u, v} D={a, b, c} E= {o, p, q, r} n(C)=7 n(D)=3 n(E)=4

1) Definir los conjuntos: Si los conjuntos estn dados por construccin, se deben definir por tabulacin o extensin; como es el caso de los conjuntos A y B, para el ejemplo. 2) Anlisis entre ellos: 1 2 3 4 A B B y C son disjuntos C y D son disjuntos D y E son disjuntos A C B D C y E son intersecantes A D B y E son disjuntos A E A es el mayor de todos los super conjuntos. 3) Representacin Grfica: A B A D B D D Procedimiento: Para representar conjuntos mediante diagramas lineales se procede as: - En la parte superior se coloca un punto que representa el mayor de los superconjuntos. - En la parte de abajo se colocan puntos que representan a los siguientes superconjuntos. - Hecho esto se unen los puntos con lineas oblicuas y verticales evitando utilizar lneas horizontales. - Si los conjuntos son disjuntos o intersecantes no van unidos con lineas y van separados. Ejemplo: Dado el siguiente diagrama de Venn construya el correspondiente diagrama lineal: B E A C A C A E

A F D E
1) Relaciones de inclusin entre los conjuntos. A y B Inters. A C A D A E A F A y G Disj. 2) Representacin Grfica: A E D F C B G B C B y D Inters. B y E Inters. B y F Inters. B G C C C C y y y y

B C G

D Disj. D y E Inters. E Disj. D F F Disj. D y G Disj. G Disj.

E y F Disj. E y G Disj. F y G Disj.

PROPOSICIONES
Definicin: Es una expresin con sentido completo, en un lenguaje cualquiera, que afirma o niega algo y da una informacin, la cual puede ser verdadera o falsa. Clases de Proposiciones Se tienen proposiciones cerradas y proposiciones abiertas; a continuacin tratamos cada una de ellas. Proposiciones Cerradas: Una proposicin cerrada, es una expresin numrica u oracin gramatical de la cual se puede decir en forma inmediata si ella es verdadera o es falsa. Ejemplo: 2+5=7 Quito es la capital de Colombia Estas expresiones, son proposiciones cerradas, ya que se pueden decir automticamente si cada una d ellas es verdadera o es falsa. As la primera proposicin ser verdadera, mientras que la segunda ser falsa. Representacin: A las proposiciones cerradas se las representa o se las nombra con letras minsculas (cualquier letra del alfabeto), pero por lo general se emplean las letras p, q, r, s, t, u, v,... etc. Con esto, para nuestros ejemplos indicados arriba, tendramos que la una podra llamarse p, y la otra q, como indicamos a continuacin; pero siempre luego del nombre este debe ir acompaado con dos puntos; as: p: 2 + 5 = 7 q: Quito es la capital de Colombia. A toda proposicin cerrada se le llama tambin simple y a las letras que las representan se les llama valores o letras proposicionales. Valor de verdad de una proposicin: A la veracidad o falsedad de una proposicin, se le conoce como valor de verdad de la proposicin; y este puede ser verdadero o falso, pero nunca las dos al mismo tiempo; y se representa de la siguiente manera: VV = V Que se lee: El valor de verdad es verdadero, VV = F Que se lee: El valor de verdad es falso. As, para las proposiciones de nuestro ejemplo citado ms arriba se tendra: p: 2 + 5 = 7 VV = V q: Quito es la capital de Colombia VV = F Proposiciones Abiertas: Son aquellas oraciones gramaticales o expresiones numricas de las cuales no se pueden decir inmediatamente si son verdaderas o son falsas, sino que hace falta ciertas caractersticas o propiedades para poder definirlas. Una proposicin abierta est formada por smbolos que se conocen unos como variables y otros como constantes, que ms abajo los definiremos. Ejemplos: px: x + 4 = 7 qx : x2 + 5x +2 = 0 rx: x2-36 = (x + 6)(x-6) sy: y2- 3y -2 < 0 tx,y: x2y2 - 3xy + 2x - y - 3= 0 ux : x es presidente del Ecuador.

10

Representacin: A las proposiciones abiertas se las representa con letras minsculas cualesquiera, acompaadas de un subndice que se llama la variable de la proposicin abierta; as: px, qx, ... etc, o py, qy, ... etc., como se indican en los ejemplos previos; que se leen: p sub x, q sub x, p sub y, q sub y. Si empleamos un subndice como x , o y o z o cualquier otro, que es la variable. Si empleamos dos subndices como es el caso de la proposicin que se observa en los ejemplos, se leer: la proposicin t sub x,y , donde tanto x como y son variables de la misma proposicin. Variable: Son smbolos que aparecen en las proposiciones abiertas y estos pueden ser reemplazados por un elemento cualesquiera de un conjunto que se conoce como el Conjunto Satisfactor. Y pueden ser nombradas con las ltimas letras del alfebeto como x, y, z,... etc. Si en una proposicin abierta aparece varias veces la misma variable, sta debe ser reemplazada por el mismo elemento que se tome del conjunto satisfactor. Constante: Son elementos fijos de un conjunto determinado, y este conjunto generalmente es un conjunto numrico; y se las nombra comnmente con las primeras letras del alfabeto. Para que tenga sentido, lgica y se pueda estructurar adecuadamente lo que se est estudiando de las proposiciones abiertas, debemos definir este nuevo conjunto que se ha introducido al definir la variable, que es el de conjunto satisfactor. Conjunto Satisfactor: Es el conjunto que tiene como elementos todos los valores que pueden tomar las variables de una proposicin abierta, y este conjunto puede ser cualquier conjunto, que se puede llamar como A, o el conjunto universo U. As para nuestros ejemplos que se han colocado ms arriba, podemos tomar como un conjunto satisfactor el siguiente: A={-6,-3,0,1,2,3,4,6} con n(A)=8

Forma Proposicional (o Funcin Proposicional): Una Forma Proposicional o Funcin Proposicional es una expresin que contiene una o ms variables y que se convierte en una proposicin cuando se sustituye esta variable o estas variables por un elemento del Conjunto Satisfactor. Representacin: Las formas o funciones proposicionales se las representa por smbolos tales como: P(x), Q(x), R(x), ...etc. Con maysculas o tambin P(y), Q(y), R(y),...etc. P(x,y), Q(x,y), R(x,y) ; donde las letras que se encuentran entre parntesis son las variables implicadas. Que se leen: Para P(x) : P de x Para Q(x): Q de x, ....Etc. Para P(y): P de y Para Q(y): Q de y, ... etc. , y Para P(x,y): P de x,y Para Q(x,y): Q de x,y,.... Etc.

En nuestro estudio consideraremos nicamente formas o funciones prpposicionales con una sola variable. Conclusin: Si reemplazamos los valores o elementos del conjunto satisfactor por las variables de una proposicin abierta, sta se transforma en una Forma Proposicional, que ser una proposicin cerrada para cada elemento del conjunto satisfactor, y se puede decir inmediatamente si es verdadera V,o falsa F.

11

Ejemplos: Analizamos las proposiciones abiertas dadas antes px, qx y rx con una sola variable, y dado el conjunto satisfactor A , que se indica ms arriba. Entonces se tiene ; La forma proposicional: P(x): x + 4 = 7 donde para cada valor o elemento del conjunto satisfactor, tenemos: P(-6): -6 + 4 = 7 P(-3): -3 + 4 = 7 P(0): 0 + 4 = 7 P(1): 1 + 4 = 7 P(2): 2 + 4 = 7 P(3): 3 + 4 = 7 P(4): 4 + 4 = 7 P(6): 6 + 4 = 7 VV = F VV = F VV = F VV = F VV = F VV = V VV = F VV = F

Contingencia

Ahora para la siguiente proposicin abierta P(x): x2 + 3 = 12 , acompaada del siguiente conjunto satisfactor A= {-4, -3, -2, 0, 3, 5} n(A)= 6 ; es decir para la forma proposicional: (P(x): x2 + 3 = 12 , A= {-4, -3, -2, 0, 3, 5} ). P(-4): (-4)2 + 3 = 12 P(-3): (-3)2 +3 = 12 P(-2): (-2)2 + 3 = 12 P(0): (0)2 + 3 = 12 P(3): (3)2 + 3 = 12 P(5): (5)2 + 3 = 12 19 = 12 12 = 12 7 = 12 3 = 12 12 = 12 28 = 12 VV = F VV = V VV = F VV = F VV = V VV = F

Contingencia

A continuacin analicemos adems las formas proposicionales, Q(x) y R(x), para el conjunto satisfactor del ejemplo anterior: Contradiccin Q(x): x2 + 7x + 3 = 0 Q(- 4): 16 28 +3 = 0 Q(- 3): 9 21 +3 = 0 Q(- 2): 4 14 +3 = 0 Q( 0 ): 0 + 0 +3 = 0 Q( 3 ): 9 + 21 +3 = 0 Q( 5 ): 25 + 35 +3 = 0 -9 = 0 -9 = 0 -7 = 0 3=0 33 = 0 63 = 0 VV=F VV=F VV=F VV=F VV=F VV=F Tautologa R(x): x2 - 25 = (x + 5)(x - 5) R(- 4): 16 25 = (1)(- 9) R(- 3): R(- 2): R( 0 ): R( 3 ): 9 25 = (1)(- 9) 4 25 = (3)(- 7) 0 25 = (5)(- 5) 9 25 = (8)(- 2) -9 = -9 -16 =-16 -21 = -21 -25 = -25 -16 = -16 0=0 VV = V VV = V VV = V VV = V VV = V VV = V

R( 5 ): 25 25 = (10)(0)

A funciones proposicionales como estas se las llama Contradiccin.

A funciones proposicionales como estas se las llama Tautologa.

Cuando en una proposicin todos los valores de verdad son verdaderos se llaman identidad y esto ocurra en todos los casos de factoreo. Si dos proposiciones (funcin proposicional) tienen el mismo conjunto de verdad se dice que dichas proposiciones son equivalentes. As si P = Q entonces: P(x) Q(x); p q ; P(x) Q(x); p q

12

Conclusin El conjunto satisfactor puede con sus elementos aplicados en la proposicin darnos los valores de verdad que son: o todos falsos o todos verdaderos o mesclados entre falso y verdadero. Cuando en las proposiciones abiertas se reemplazan todo los elementos del conjunto satisfactor se obtiene siempre VV = V estos se llaman identidades. Conjunto de verdad: (Validez o solucin) es aquel conjunto que tiene como elementos aquellos del conjunto satisfactor que hacen verdadera a la funcin o forma proposicional. Representacin: CV, P(x) = {x / x A ; P(x) Verdadero) CV, P(x) = P el conjunto de verdad es P Donde CV, P(x) Conclusin: As: Se lee conjunto de verdad P(x) es igual a P En Proposiciones P (X) Q (X) C. V, P(x) C. V, Q(x) En conjuntos P Q

Ejemplo: encuentre el conjunto de verdad de la proposicin S(y) = y2 - 3y - 2 < 0 dado A = {-6, -3, 0, 1, 2, 3, 4, 6} S(- 6): (- 6)2 - 3(- 6) - 2 < 0 S(- 3): (- 3)2 - 3(- 3) - 2 < 0 S(0): (0)2 - 3(0) - 2 < 0 S(l): (1)2 - 3(1) - 2 < 0 S(2): (2)2 - 3(2) - 2 < 0 S(3): (3)2 - 3(3) - 2 < 0 S(4): (4)2 - 3(4) - 2 < 0 S(5): (5)2 - 3(5) - 2 < 0 Luego el Conjunto de verdad, S(y) es S; donde: S= {0, 1, 2, 3} n(S)=4 S(-6): 46 < 0 S(-3): 16 < 0 S(0): 2 < 0 S(1): - 4 < 0 S(2): -4 < 0 S(3): -2 < 0 S(4): 2 < 0 S(5): 16 < 0 VV = F VV = F VV = V VV = V VV = V VV = V VV = F VV = F

Proposiciones compuestas: una proposicin compuesta se forma uniendo o enlazando dos o ms proposiciones simples por medio de formas proposicionales o por medio de conectores trminos de enlace que son: o o exclusivo y Condicional Bicondicional Conectiva negativa Disyuncin negativa Para formar una proposicin compuesta se usa o se emplean los llamados esquemas proposicionales. As: Si: p: 12 mltiplo de 3 VV= V q: 5 x 2 10 VV=F

13

Entonces como esquemas proposicionales, podramos obtener por ejemplo: p o q = 12 mltiplo de 3 o 5x2 10 VV=? (Que al momento no se pueden determinar, hace falta para aquello conocer las propiedades fundamentales de los conectores). Luego de lo indicado si tendramos que el VV=V p y q = 12 mltiplo de 3 y 5x2 10 VV=? VV= F (p o q) y p: 12 mltiplo de 3 o 5x2 10, y 12 mltiplo de 3 VV=? Adems se podran obtener ms esquemas, empleando el resto de conectores lgicos o trminos de enlace, indicados arriba. Valor de verdad de una proposicin compuesta: El valor de verdad de una proposicin compuesta, depende de los valores de verdad de cada una de las proposiciones simples y de los principios o propiedades fundamentales de los conectores o trminos del enlace.

OPERACIONES CON PROPOSICIONES Y CONJUNTOS

En lo que respecta a este tema; en cada numeral que indicaremos a continuacin, primero trataremos sobre la operacin con proposiciones, para luego basado en ella definir la operacin en conjuntos. 1. Disyuncin y Unin: Comencemos analizando el doble uso que tiene la o : Para ello demos los siguientes dos ejemplos. 1.- Hace fro o est lloviendo 2.- Estoy dentro del saln de clase o fuera del saln de clase. En el caso del ejemplo 1.- se incluye la posibilidad de que se cumplan ambas proposiciones. En este caso se dir que la o tiene un uso inclusivo. La o inclusiva se expresa a menudo en el lenguaje legal por y / o. Mientras que en el caso del segundo ejemplo, se excluye la posibilidad de que se cumplan ambas proposiciones. En este caso se dir que la o tiene un uso exclusivo, o excluyente. En adelante, cuando se emplee o como una disyuncin o disjuncin, por las aplicaciones que tiene lo haremos siempre referencia en el sentido inclusivo. 1a.- Disyuncin: Es una proposicin compuesta que se obtiene uniendo dos proposiciones cerradas o simples p , q o tambin dos formas proposicionales P(x) , Q(x) con el conector o trmino de enlace o que se representa en : Forma literal: p o q o ambas proposiciones cerradas. O P(x) o Q(x) o ambas formas proposicionales. Y Forma simblica: p q O P(x) Q(x) Que tambin se puede leer: O p o q ; p disyuncin q P(x) o Q(x) ; P(x) disyuncin Q(x).

Propiedad bsica o fundamental del conector: La proposicin compuesta ser falsa nicamente si las dos simples son falsas, y ser verdadera en el resto de casos. Esto se puede ilustrar en el siguiente cuadro.

14

P(x) V

Q(x) V

P(x) V

Q(x)
Tabla de verdad (TV) de la disyuncin.

V F V F V V F F F Luego: Si en las proposiciones se tiene P(x) Q(x) , entonces en conjuntos se tendr que: El conjunto de verdad de P(x) es P , el conjunto de verdad de Q(x) es Q , y la disyuncin define la unin en conjuntos; entonces se tendr P Q. Conclusin: La disyuncin en proposiciones, define la unin en conjuntos y se expresa as: P Q = { x / P(x) Q(x) , sea siempre verdadera } Luego: Podemos ya definir la operacin llamada unin entre conjuntos. 1b.- Unin de Conjuntos: Es el conjunto de verdad de la disyuncin en proposiciones. Es decir, es aquel conjunto que tiene como elementos los de P o los de Q o de ambos; y se represente en: Forma simblica: P Y Forma literal: P o Q o ambos; P unin Q, Representacin de la Unin de conjuntos por medio de diagramas de Venn: 1. Conjuntos intersecantes: Q

P 2. Conjuntos disjuntos: n(P

Q ) = n (P) + n (Q)

P 3. Conjuntos Comparables: 3a.- P Q P Q=Q

3b.- Q

Q=P

15

Ejemplo: P = {1, 3, 5, 7, 9, 11} n (P) = 6 Q = {1, 2, 3, 4, 5, 9, 11, 13} n(Q) = 8 P Q = {1, 2, 3, 4, 5, 7, 9, 11, 13} n( P Q ) = 9 Q P = {2, 11, 13, 1, 3, 4, 5, 1, 9} n( Q P ) = 9 Propiedades de la Unin: 1. P Q =Q P Ley Conmutativa 2. a.- P ( P Q) Propiedad de inclusin b.- P (Q P) 3. a.- Q (P Q) Propiedad de inclusin b.- Q (Q P) 4. P P = P Ley de Idempotencia 5. P Ley de Identidad =P 6. P U=U Ley de Identidad 7. (P Q) R = P (Q R) Ley Asociativa 8. Para conjuntos comparables: a.- P Q P Q = Q b.- Q P P Q = P 2. Conjuncin e Interseccin: 2a.- Conjuncin: La proposicin compuesta se obtiene uniendo dos proposiciones simples o dos formas proposicionales P(x) , Q(x) con el conector y , que se representa en: Forma literal: p y q ; p conjuncin q ; O P(x) y Q(x); P(x) conjuncin Q(x), y Forma simblica: p q O P(x) Q(x) Propiedad fundamental: La proposicin compuesta ser verdadera nicamente cuando las dos proposiciones o formas proposicionales sean tambin verdaderas, y ser falsa en el resto de casos. P(x) V V F F Q(x) V F V F P(x) V F F F Q(x)
Tabla de verdad (TV) de la conjuncin.

Luego: Si en las proposiciones se tiene: P(x) criterio que en la disyuncin.

Q(x) , en conjuntos se tendr P

Q , con similar

Conclusin: La conjuncin en proposiciones, define la interseccin en conjuntos, la cual se expresa as: P Luego: 2b.- Interseccin de conjuntos: Es el conjunto de verdad de la conjuncin de proposiciones. Es aquel conjunto que tiene como elementos los elementos del conjunto P y del conjunto Q; es decir los elementos comunes de los conjuntos P y Q, y se representa en: Forma simblica: P Q , y Forma literal: P y Q ; P interseccin Q. Q = { x / P(x) Q(x), sea Verdadera }

16

Representacin de la interseccin de con juntos por medio de diagramas de Venn: 1. Conjuntos intersecantes:

P 2. Conjuntos disjuntos:

P 3. Conjuntos Comparables: 3a.- P Q P Q=P

Q=

3b.- Q

Q=Q

Ejemplo: P = { 1, 3, 5, 7, 9, 11 } Q = { 1, 2, 3, 4, 5, 9, 11, 13 } P Q = { 1, 3, 5, 9, 11 } Q P = { 1, 3, 5, 9, 11 } n(P)=6 n(Q) = 8 n( P Q ) =5 n( Q P ) = 5

Propiedades de la Interseccin: 1. P Q =Q P Ley Conmutativa 2. a.- P ( P Q) Propiedad de inclusin b.- P (Q P) 3. a.- Q (P Q) Propiedad de inclusin b.- Q (Q P) 4. P P = P Ley de Idempotencia 5. P U=P Ley de Identidad 6. P Ley de Identidad = 7. (P Q) R = P (Q R) Ley Asociativa 8. Para conjuntos comparables: a.- P Q P Q = P b.- Q P P Q = Q 9. Para conjuntos disjuntos: P Q=

17

CARDINALIDAD:
Cardinalidad para dos conjuntos: Cuando se tienen conjuntos disjuntos, la cardinalidad de la unin de los dos conjuntos ya se indic al estudiar la unin en el caso 2. Pero cuando se quiere determinar la cardianalidad de la unin de dos conjuntos en el caso general, es decir en el caso de conjuntos intersecantes, se debe aplicar la siguiente relacin: Q ) = n(P)+n(Q)-n( P Q)

n( P

As, para el caso de los ejemplos dados de la unin y de la interseccin vistos ms arriba, se tendr que: n(P) = 6 , n(Q) = 8 , n(P Q)=5; entonces aplicando la relacin indicada anteriormente, se tiene: n( P Q)=6+8-5=9; que efectivamente es el valor de la cardinalidad de la unin que se obtuvo anteriormente.

Cardinalidad para tres conjuntos: De modo similar, cuando se trata de obtener la cardinalidad para la unin de tres conjuntos se tendra la siguiente relacin: n(P Q R) = n (P) + n (Q) + n ( R ) - n (P Q) - n (P R) - n (Q R) + n (P Q R) Tanto la expresin obtenida mas arriba, como esta para tres conjuntos se pueden demostrar bien sea aplicando las definiciones de los conjuntos y sus operaciones, como mediante los diagramas de Venn. De igual manera, se puede generalizar la cardinalidad de la unin para cuatro, cinco, etc conjuntos; observando siempre la siguiente particularidad que: Cuando se tienen dos conjuntos, la expresin tiene cuatro trminos; cuando se tienen tres conjuntos la expresin tiene ocho trminos; y as para cuatro conjuntos la expresin tendra diecisis trminos, para cinco conjuntos treinta y dos, etc. Aplicaciones de la cardinalidad de conjuntos: Al momento, ya estamos en condiciones de poder resolver problemas literales de conjuntos, en los cuales intervengan las respectivas cardinalidades, y adems las expresiones como slo o nicamente, o, y. En seguida indicamos algunos ejemplos al respecto: 1. Un deportista practica todos los das atletismo o natacin o ambos a la vez. Si durante el mes de octubre, 15 das practic atletismo y 24 das practic natacin. Cuntos das practic atletismo y natacin? Este problema se puede resolver de dos maneras: Primero aplicando la relacin para la cardinalidad de la unin de dos conjuntos vista ms arriba, y segundo mediante el planteo de ecuaciones, empleando uno o varios diagramas de Venn. Primero: Para aplicar la cardinalidad, damos nombres en primera instancia a los conjuntos que intervienen en el problema, as: A al conjunto de los das que practica atletismo; N al conjunto de los das que practica natacin, entonces: n( A ) = 15 ; n( N ) = 24; Como adems, nos dice que las prcticas de estos deportes las realiza en el mes de octubre, y este mes tiene 31 das, entonces n( A N ) = 31. Como la relacin de la cardinalidad tiene cuatro trminos, y adems se tienen tres datos del problema, entonces se debe determinar el valor del cuarto trmino, que en este caso es el nmero de das que practic atletismo y natacin; es decir n(A N) Luego: reemplazando los datos en la expresin se tiene: 31 = 15 + 24 - n( A N ) y de aqu se despeja n( A N ) y se obtiene el valor que se nos pide en el problema: n( A N ) =39-31 = 8

18

Entonces el nmero de das que el deportista, practico atletismo y natacin a la vez fueron ocho. Segundo: Empleando un diagrama de Venn, en el cual se colocan los nombres de los conjuntos, las variables desconocidas y se plantean una o ms ecuaciones y se resuelve el problema, determinando los valores desconocidos, los que pide se investigue en el problema, como lo realizamos a continuacin: 15 - x + x + 24 - x = 31 x = 15 + 24 - 31 =8 Donde x es la interseccin entre A y N es decir es el valor pedido, el nmero de das que el deportista practic los dos deportes a la vez. 2. En las listas de 100 alumnos que se han examinado de clculo y de geometra, figuran 48 alumnos que han aprobado la primera asignatura y 70 que han aprobado la segunda, siendo 35 los alumnos que han aprobado las dos. Cuntos alumnos hay que no han aprobado ninguna asignatura?

Ejercicios propuestos: Describa el siguiente conjunto utilizando una ecuacin T={1,4,7,10,13} Utilice el mtodo de comprensin para: a.- R={10, 100, 1000, 10000} b.- A={5, 25, 125, 3125, 625} Determine la expresin para obtener la cardinalidad de la unin de 4 conjuntos. n(A B C D)=? Exprese los siguientes conjuntos por extensin: A={x/x N y 5<x l8, x sea par} Sol: A={6,8,10,12,14,16,18} B={x/x sean letras de la palabra matemticas} Sol: B={m, a, t, e, i, c, s} C={x/x3-16x = 0,} Sol: C={4,-4,0} D={x/x sean formas de definir un conjunto} Sol: D=(tabulacin, comprensin} Especifique los siguientes conjuntos por comprensin A={Europa, Asia, Amrica, Africa, Oceania} Sol: A={x/x sea continente del mundo} B={Armstramg, Aldrin} B= C={ Deimos, Fobos} Sol: C={y/y sea satlite natural de Marte} D={Pacifico, Atlntico, rtico, Antrtico, Indico} Sol: D={x/x sea ocano del mundo}

19

Dados los conjuntos: A={r,s,t,u,v,w} , B={u,v,w,x,z,y} , C={s,u,y,z}, D={u,v} , E={s,u} , F={s} , G= Sea X un conjunto desconocido determine cuales de los conjuntos puede ser iguales a X si se dan las siguientes informaciones. a) X b) X c) X AyX AyX ByX B C C

Dado el diagrama lineal, obtenga su diagrama de Venn A B C D

Sean los conjuntos A y B que no son comparables hacer un diagrama lineal de los conjuntos A, B, A B, A B. Hacer un diagrama de Venn con 3 conjuntos no vacios A, B, C de modo que: a) A B, C B, A C = b) A B, C B, A C = c) A (B C) , B C, C B, A C Dados los siguientes conjuntos: que relacin existe entre los tres conjuntos; y determine los operaciones indicadas. A={1,2,3,4,5,6}, B={3,2,5,8,7}, C={2,3,7 } a) (A B) C b) (A B) C c) A (B C)

Determine cuales son proposiciones compuestas. a) Quito esta en Ecuador y Europa b) Quin eres? y donde vas c) Si 3=3 entonces 2=4 d) Pedro es ms alto que Juan o 2-4=6, pero no ambos. Determine el valor de verdad del siguiente esquema proposicional p Si p: la naranja es un mineral q: el vidrio no es un metal Determine el valor de verdad de (p q) q , si q tiene como q

VV=V

Si p: es el estudiante; q: el esta en clases. Escriba en palabras lo siguiente: p q: Sol: es el estudiante y el esta en clases p q: Sol: es el estudiante o el esta en clases (p q) q : Sol: el estudiante y el esta en clases o el esta en clases. En una batalla encarnizada por lo menos el 70% de los combatientes pierden un ojo, al menos el 75% una oreja, el 80% un brazo y al menos un 85% una pierna. Cuantos por lo menos han perdido las 4 cosas.

20

En una ponencia de un congreso internacional asistieron 25 personas entre ellas habia 20 militares, 12 universitarios, 17 mexicanos, 8 militares universitarios, 12 militares mexicanos y 11 universitarios mexicanos. a) Cuantos mexicanos eran universitarios y militares a la vez. b) Cuantos mexicanos eran militares o universitarios pero no ambos casos a la vez.

21

Diferencia de Conjuntos: La diferencia entre dos conjuntos P Q es aquel conjunto que tiene como elementos, los elementos solo de P y no de Q. Se representa. P Q = {elementos slo de P } Representacin mediante diagramas de Venn. 1). Conjuntos Intersecantes.
a) P Q Slo P =P Q

b)

Q Slo Q =Q P

2). Conjuntos Disjuntos.

P Q

PQ=P

QP=Q

3). Conjuntos Comparables. a) P Q

Q P

PQ= QP=Q

P P, Q Son conjuntos complementos de P y Q respectivamente, que se vern ms adelante.

b) Q

P Q

QP= PQ=P

Diagramas de Venn con tres conjuntos: P Slo P Q a) Slo P= P - ( Q Slo Q Slo Q= Q - ( P Slo R= Q - ( P Slo R R R) R) Q)

22

Slo, P y Q P Q b) Slo, P y Q = ( P =(P Q)-R Q)-(P

R)

Slo, Q y R

R Ejemplo: P = {x/x sea primo menor a 20} = {2,3,5,7,11,13,17,19} Q = {0,1,3,6,7,14,18,20} n(Q)=9 P - Q = {5,11,13,17,19} n( P - Q ) = 5 Q - P = {0,1,6,14,18,20} n(Q - P ) = 6 Comprobacin: n( P - Q ) = n (P) - n( P n( Q - P ) = n (Q) - n( P Q ) = 8-3 = 5 Q ) = 9-3 = 6

Slo Q y R = ( Q R ) - P =(Q R)-(Q Slo, P y R Slo P y R = ( P R ) - Q =(P R)-(Q n(P)=8

P)

P)

Propiedades: 1). P - Q Q - P 2). P - Q, P Q, Q - P Son disjuntos 3). ( P - Q ) ( P Q ) = P 4). ( Q - P ) ( P Q ) = Q 5). ( P - Q ) ( P Q ) ( Q - P ) = P Q n( P Q ) = n( P - Q ) + n( P Q ) + n( Q - P ) 6). P - P = 7). P - = P 8). P - U = 9). - U = 10). U - = U 11). P - ( Q R ) = ( P - Q ) ( P - R ) 12). P - ( Q R ) = ( P - Q ) ( P - R ) P Q P Q P Q P Q

R P-(Q R)

R P-Q

R P-R

R (P - Q) (Q - R)

Conjuntos Disjuntos: 13). P-Q = P 14). Q-P = Q Conjuntos Comparables: 15). a) P Q P-Q= b) Q - P = slo Q

23

4). Negacin y Complemento: Negacin: Dada una proposicin cualesquiera P(x) o P se puede obtener otra proposicin que diga todo lo contrario, que se llama negacin de P(x) o negacin de P. x2+4x+3=0 P(x) = x2+3x 12 x2+4x+3 0 P(x) = x2+3x 12 P: Bogot es capital de Colombia VV=V P: Bogot no es capital de Colombia VV=F P: No es verdad que Bogot es la capital de Colombia Tabla de verdad de la Negacin: P(x) V F Si en las proposiciones se tiene: P(x) P(x) F V en los conjuntos se tendr: P P(x) = Negacin P(x)

No P(x) ;y P=

No P Negacin P

VV=F

Conclusin: La negacin en proposiciones define el complemento en conjuntos. Complemento: Es el conjunto de verdad de la negacin en proposiciones. Es aquel conjunto que tiene como elementos aquellos que pertenecen al universo y no al conjunto P, es decir sera un caso particular de la diferencia de conjuntos.

Representacin mediante diagramas de Venn

Ejemplo: Determine el complemento del conjunto P si se conoce que: P(x): x2+3x 12 U={0,1,2,3,4} P(0): 0+0 12 VV=F P(1): 1+3 12 VV=F P(2): 4+6 12 VV=F P(3): 9+9 12 VV=F P(4): 16+12 12 VV=F P={3,4} Entonces P={0,1,2} n(P)=3

24

Comprobacin: Si: P(x): x2+3x 12, entonces: P(x): x2+3x 12 P(0)= 0+0 12 VV=V P(1)= 1+3 12 VV=V P(2)= 4+6 12 VV=V P(3)= 9+9 12 VV=F P(4)= 16+12 12 VV=F P={0,1,2} que es el conjunto de verdad de P(x), como ya se obtuvo antes Conclusin: Para poder obtener el complemento de un conjunto P; este conjunto siempre debe ser subconjunto del Universo, caso contrario no se puede obtener su complemento. Propiedades del Complemento: 1). U-P=P 2). (P P)=U 3). =U 4). P - Q = P Q 5). U= 6). P P= 7). (P)=P Para conjuntos comparables: 8). P Q 9). P Q=U 10). P Q= 11). Q P= Slo universo = U - Q = U

Q = Q

V/: Tautologa: Es aquella proposicin que es verdadera para todos los casos. |F: Contradiccin: Es toda proposicin que es falsa en todos los casos. V/ |F |F V/ Si negamos una tautologa esta es equivalente a una contradiccin. Si negamos una contradiccin esta es equivalente a una tautologa.

Proposiciones P(x) Q(x) P(X)

Conjuntos P Q P

V/ |F

U =

Principio de Dualidad: Si en una ley de proposicin o ley de conjuntos realizamos el cambio de proposiciones de por y en conjuntos por o viceversa y en proposiciones V/ por |F y en conjuntos U por o viceversa, se obtiene otra expresin que tambin es ley de proposiciones o conjuntos llamada Dual.

25

Leyes del Algebra de

Proposiciones A) Leyes de Idempotencia 1) P(x) P(x) P(x) Original 2) P(x) P(x) P(x) Dual B) Leyes Conmutativas 3) P(x) Q(x) Q(x) P(x) 4) P(x) Q(x) Q(x) P (x) C) Leyes Asociativas 5) [P(x) Q(x)] R(x) P(x) [Q(x) R(x)] 6) [P(x) Q(x)] R(x) P(x) [Q(x) R(x)] D) Leyes Distributivas 7) P(x) [Q(x) R(x)] [P(x) Q(x)] [P(x) 8) P(x) [Q(x) R(x)] [P(x) Q(x)] [P(x) E) Leyes de Identidad 9) P(x) |F P(x) 10) P(x) V/ P(x) 11) P(x) V/ V/ 12) P(x) |F |F F) Leyes de negacin 13) P(x) V/ P(x) 14) [ P(x)] P(x) 15) P(x) P(x) V/ 16) P(x) P(x) |F 17) |F V/ 18) V/ |F 19) Conjuntos A) Leyes de Idempotencia 1) P P = P Original 2) P P = P Dual B) Leyes Conmutativas 3) P Q = Q P 4) P Q = Q P C) Leyes Asociativas 5) (P Q) R = P (Q R) 6) (P Q) R = P (Q R) D) Leyes Distributivas 7) P (Q R) = (P Q) (P 8) P (Q R) = (P Q) (P E) Leyes de identidad 9) P =P 10) P U = P 11) P U = U 12) P = F) Leyes de complemento 13) P = U - P Dual propia 14) (P) = P Dual propia 15) P P = U 16) P P = 17) = U 18) U = 19) P - Q = P Q

R(x)] R(x)]

R) R)

20) [P(x) 21) [P(x)

Q(x)] Q(x)]

P(x) P(x)

Leyes de DMorgan Q(x) Q(x) Leyes de Absorcin

20) (P 21) (P

Q) = P Q) = P

Q Q

22) P(x) 23) P(x)

[P(x) [P(x)

Q(x)] Q(x)]

P(x) P(x)

22) P 23) P

(P (P

Q) = P Q) = P

24) P(x) 25) P(x)

Q(x) Q(x) B)

Leyes de equivalencia [P(x) Q(x)] [ P(x) Q(x)] P(x) Q(x) (A B) = A

Demostrar: (A

1). Se debe escoger el miembro ms extenso 2). Probar si la igualdad es correcta mediante diagramas de Venn A B U A B U A B U

(A

B)

(A

B)

(A

B) = A

26

3). Demostracin (A B) (A B) A (B B) A U A

Justificacin DATO Ley distributiva Ley de complemento Ley de identidad

Demostrar: [(A

B)

B]

[B

(A

B)] = (A - B)

B [(A B) B] [B (A B)] = (A - B)

Demostracin [(A B) B] [B (A B)] [(A B) B] [(B B) A] [B (A B)] [(B B) U A] [(B A) (B B)] [U A] [(B A) U] U (B A) U B A (B) A [B A] (A - B)

Justificacin DATO Ley de DMorgan, conmutativa Ley conmutativa, asociativa Ley distributiva, complemento Ley de complemento, identidad Ley de identidad Ley de identidad Ley de complemento Ley de DMorgan Ley de complemento

5.- Disyuncin Exclusiva: Una proposicin P (x) y otra Q(x) forman una proposicin compuesta si estn unidas con el conector y se presa P(x) Q(x) ; se lee: P(x) Q(x) pero no ambas. P(x) disyuncin exclusiva Q(x) Propiedad fundamental: La proposicin compuesta es falsa cuando las dos simples son verdaderas o falsas y ser verdadera en el resto de casos. P(x) V V F F Q(x) V F V F P(x) Q (x) F V V F

Ejm. p: Quito es la capital del Ecuador VV=V q: Quito esta en la costa ecuatoriana VV=F p q: Quito es la capital del Ecuador esta en la costa ecuatoriana, pero no ambas. A continuacin realizamos la Tabla de verdad de la siguiente proposicin: (p q) ( p q)

VV=V

27

p q V V V F F V F F

p F F V V

q (p q) ( p q) (p F F F V V F F F V V F F

q) F V V F

( p

q)

Esta columna es la misma que la disyuncin Exclusiva.

Luego: P(x) Q(x) [P(x) Q(X)] [ P (x) Q(x) ] El conjunto de verdad de la disyuncin exclusiva es: (P Q) (P Q) = {x/ P(x) Q(x) }

Entonces como conclusin se tiene que:

6.- Implicacin o Condicional: Una proposicin P (x) y otra Q(x) forman la proposicin compuesta si estas estn unidas por el conector . P(x) Q(x) . Se lee si P(x) entonces Q(x) , P(x) condicional Q(x) P(x) implica a Q(x) . Propiedad fundamental: A P(x) se le conoce como antecedente o hiptesis y a Q(x) como consecuente, tesis o conclusin. Para que: P(x) Q(x) sea V P Q . Se debe cumplir esta relacin en conjuntos. P(x) V V F F Q(x) P (x) V F V F V F V V Q (x)

Si el antecedente es verdadero y el consecuente es falso la proposicin es falsa ya que una verdad no implica una falsedad y ser verdadera en el resto de los casos. De la tabla anterior, aplicando el principio de las conjunciones bsicas se tiene: P(x) Q(x) { [ p(x) (p q) [ p (q q)] (p q) [ p V/] (p q) p ( p q) ( p q) V/ ( p q) p q P(x) Q(x) q(x) ] [ p(x) q(x)] } [p(x) q(x)]

P(X)

Q(x) Que es una ley de equivalencia.

Ejm. Dados las siguientes proposiciones: p: 4+2=6 q: 5-4=4 Determine: VV=V VV=F VV=F VV=V VV=V VV=F VV=F VV=V VV=V VV=F Implicacin Inversa Conversa Contrapositiva p: 4+2 6 q: 5-4 4

a). p q b). q p c). p q d). q p

p q

q: Si 4+2=6 entonces 5-4=3 p: Si 5-4=3 entonces 4+2=6 p q: Si 4+2 6 entonces 5-4 3 q p: Si 5-4 3 entonces 4+2 6

28

p V V F F

q V F V F

p F F V V

q F V F V

(p V F V V

q)

(q V V F V

p)

( p V V F V

q) ( q V F V V

p)

Luego observando las columnas 5 y 8: y 6 y 7 se tiene entonces la Implicacin y sus variaciones: Conclusin: - P(x) - Q(x) Q(x) P(x) Q(x) P(x) P(x) Q(x) Implicacin Contrapositiva Reciproca Conversa Q(x) P(x) Q(x) ;

Conjunto de Verdad: El conjunto de verdad de la implicacin seria de P(x) entonces: P Q = {x/ P(x) Q(x) }

7.- Bidicondicional o Doble implicacin: El bidicondicional entre dos proposiciones P(x) y otra Q(x) es una proposicin compuesta en el cual las proposiciones simples se enlazan con el conector si y slo si, que corresponde a la proposicin [P(x) Q(x)] [Q(x) P(x)] y se simboliza P(x) Q(x) . Se lee: P(x) bicondicional Q(x) ; P(x) si y slo si Q(x) P(x) es necesaria y suficiente para Q(x) Propiedad fundamental: La proposicin compuesta es verdadera cuando las proposiciones simples son verdaderas o son falsas. P(x) V V F F P(x) Q(x) P Q(x) P(x) V F V F V F F V P(x)] Q (x)

[P(x) Q(x)] [Q(x) Q y Q P P=Q

Dos proposiciones son equivalentes cuando sus conjuntos de verdad son iguales, pueden ser simples o compuestas.

26.- a: P(x) b: P(x) c: P(x)

Q(X) Q (x) Q (x)

[P(x) Q(x)] [ P(x) Q(x) ] [ Q(x) P(x)] [P(x) Q(x) ] [ P(x) Q(x)]

Que tambin son leyes de equivalencia

Conjunto de verdad: (P Q) (P Q) = {x/ P(x) (P Q) (Q P) = {x/ P(x) Q(x) } Q(x) }

8.- Conector Negativo: La proposicin compuesta se forma uniendo P(x) con otra Q(x) con el conector que se lee Ni P(x), Ni Q(x) . Propiedad fundamental: La proposicin compuesta es verdadera nicamente cuando las dos proposiciones son falsas. As entonces tenemos la siguiente tabla de verdad:

29

P(x) V V F F 27.- Leyes a: P(x) Q(x) b: P(x) Q(x) P(x) [P(x)

Q(x) V F V F Q(x) Q(x) ]

P(x) Q(x) F F F V

Conjunto de verdad: (P Q) = P Q = {x/ P(x) Q(x)}

9.- Disyuncin Negativa: La proposicin compuesta se forma uniendo dos simples con el conector que se lee No P(x), o No Q(x) o tambin P(x) disyuncin negativa Q(x). Propiedad fundamental: La proposicin compuesta es falsa nicamente cuando las dos son verdaderas. P(x) V V F F 28.- Leyes a: P(x) Q(x) b: P(x) Q(x) P (x) [P(x) P Q(x) P(x) Q(x) V F V F Q(x) Q(x)] Q = {x/ P(x) Q(x)} F V V V

Conjunto de verdad:

RESUMEN
P(x) Q(x) V V F F V F V F Disyun. Conjun. V V V F V F F F Disyun. Conector Disyuncin Implic. Bicond. Exclusiva Negativo Negativa F V V F V F V V V F F V F F F V F V V V

Proposiciones Compuestas con 2 o ms conectores y operadores lgicos. 1). Si las proposiciones simples estn separadas por comas, se deben analizar las que estn antes de la coma y despus de la misma para luego unirlas con la conectiva principal que es la que va inmediatamente despus de la coma. Ejm. 5-3=2 p (p y 4+3=6 q q) (~q o 4+3 6 q p) o 5-3=2 p

30

2).

Si la proposicin compuesta tiene parntesis, corchetes o llaves para obtener la tabla de verdad de dicha proposicin se deben destruir los smbolos de agrupacin como en el algebra normal suprimiendo parntesis, luego corchetes, etc. Cuando la proposicin no tiene comas ni smbolos de agrupacin entonces se debe seguir el siguiente orden: a). Obtener las negaciones de las proposiciones en caso que existan. b). Al agrupar se debe seguir el siguiente orden: , , , , , , conectores fuertes conectores dbiles

3).

Ejm. 1.2.3.4.5.6.-

p; q ( p q) [( p q) p] ( p q) [[( p q) p] {[[( p q) p]

p] p]

q}

4) Si la proposicin no tiene comas ni simbolos de agrupacin se debe indicar cual es el conector principal. Ejm. - Determine la TV de la siguiente proposicin: {(p q) [ p [ q (p p)]]} p q V V V F F V F F p (p p) (p q) [ q F F V F F F V F V V F V (p F V F V p)] [ p [ q (p V F F V p)]] {(p q) [ p [ q V F V V (p p)]]}

Primer Mtodo: Para obtener la tabla de verdad de una proposicin en las primeras casillas se colocan las variables que intervienen, en la proposicin compuesta a continuacin designamos una casilla para cada operacin comenzando siempre con la negacin, en caso de que exista, y la ltima casilla nos dar la tabla de verdad que buscamos. Segundo Mtodo: Se colocan en las primeras casillas las proposiciones dadas, a continuacin se designa una casilla para cada variable, conector y operador lgico, y en la parte inferior de la tabla se colocan nmeros que nos indican los pasos que debemos seguir, y la casilla que corresponda al numeral mas alto, ser la que tenga la tabla de verdad buscada. p q {( p V V V V F V F V F F F F 1 2 1 q ) [ V V F F V V F V 2 TV p F F V V 3 (p [ q F F V V V V F F F V V F 4 7 1 p )]]} F F V V 3

V F V V 6

V F F V 8

F F F F 5

31