ELEMENTOS DE LOGICA DE CONJUNTOS Y TEORIA Dra. Patricia Kisbye Dr. Alejandro L.

Tiraboschi

INTRODUCCION Estas notas han sido elaboradas con el objetivo de ofrecer al ingresante a las carreras de la FaMAF un curso introductorio a la l ogica elemental y teor a de conjuntos. Los temas abarcados son, a grandes rasgos, nociones b asicas de conjuntos, operaciones entre conjuntos y producto cartesiano; proposiciones, conectivos l ogicos y cuanticadores. Gran parte de los contenidos y ejercicios han sido extra dos de los primeros cap tulos de nuestras notas Elementos de L ogica y Computaci on, Trabajos de Inform atica, No. 1/99. Cada cap tulo contiene un desarrollo te orico, variados ejemplos y una completa lista de ejercicios de aplicaci on. Alejandro Tiraboschi Patricia Kisbye

 Indice general
Cap tulo 1. TEOR IA BASICA DE CONJUNTOS 1. Conjuntos y pertenencia 2. Subconjuntos 3. Ejercicios Cap tulo 2. OPERACIONES ENTRE CONJUNTOS 1. La uni on de conjuntos 2. La intersecci on 3. Complemento de un conjunto 4. Diferencia 5. Ejercicios Cap tulo 3. PRODUCTO CARTESIANO 1. Pares ordenados y producto cartesiano 2. Representaci on en ejes cartesianos 3. Ejercicios Cap tulo 4. LOGICA 1. Proposiciones 2. Conectivos l ogicos 3. Negaci on 4. Conjunci on 5. Disyunci on 6. Los conectivos y las operaciones entre conjuntos 7. Propiedades de la conjunci on y la disyunci on 8. Ejercicios Cap tulo 5. CUANTIFICADORES 1. Funciones proposicionales 2. Cuanticadores 3. Negaci on de cuanticadores 4. Ejercicios
5

7 7 9 15 19 19 20 21 22 24 27 27 28 31 35 35 36 36 37 38 39 39 40 43 43 44 45 46

INDICE GENERAL

Cap tulo 6. OTROS CONECTIVOS 1. 2. 3. 4. 5. Condicional o implicaci on Bicondicional o doble implicaci on Argumentos y demostraciones Combinaci on de proposiciones con conectivos l ogicos Ejercicios

47 47 48 49 50 51

CAP TULO 1

BASICA TEORIA DE CONJUNTOS

Cualquier colecci on de objetos o individuos se denomina conjunto. En el contexto de la matem atica, el t ermino conjunto no tiene una denici on sino que es un concepto primitivo. Ejemplos de conjuntos son el conjunto de los n umeros naturales, de los televisores de la ciudad de C ordoba y de los peces en los oc eanos. Nuestro objetivo ser a estudiar aquellos conjuntos que est an relacionados con el campo de la matem atica, especialmente los conjuntos num ericos. La teor a de conjuntos es fundamental en matem atica y de suma importancia en inform atica, donde encuentra aplicaciones en a reas tales como inteligencia articial, bases de datos y lenguajes de programaci on.

1.

Conjuntos y pertenencia

Un conjunto est a integrado por objetos y los objetos que integran el conjunto se llaman elementos de ese conjunto. Ejemplos de conjuntos son los siguientes: El conjunto de los n umeros enteros. El conjunto de los n umeros naturales mayores que 5 y menores que 9. El conjunto formado por los estudiantes de primer a no de la Fa.M.A.F. El conjunto formado por un punto P en el plano y las rectas que pasan por e l. Un conjunto sin elementos se denomina conjunto vac o. En general usaremos letras may usculas para designar a los conjuntos y letras min usculas pertenece a A o a es un elemento de A. Si a no es un elemento del conjunto A se escribe a A y se lee a no pertenece a A o a no es elemento de A. Los s mbolos N, Z, Q y R servir an para denotar a los siguientes conjuntos: N: el conjunto de los n umeros naturales. Z: el conjunto de los n umeros enteros. Q: el conjunto de los n umeros racionales. R: el conjunto de los n umeros reales. Denir un conjunto es describir de una manera precisa, sin ambig uedades, cu ales son los elementos de dicho conjunto. Existen distintas maneras de denir un conjunto. La forma m as
7

para designar a sus elementos. Si a es un elemento de un conjunto A se escribe a A y se lee a

1. TEOR IA BASICA DE CONJUNTOS

simple, pero que no siempre es posible, es por extensi on, es decir listando todos los elementos del conjunto separados por comas y encerrando todo entre llaves:

A = {1, 2, 3, 5, }, consideran una sola vez.

U = {a, e, i, o, u},

M = {Talleres, Instituto, Belgrano}.

El orden en el cual se enumeran los elementos del conjunto es irrelevante, y los elementos se

E JEMPLO 1.1. {1, 2, 3}, {3, 2, 1} y {1, 1, 2, 2, 2, 3} describen al mismo conjunto. En algunos casos no se listan todos los elementos, pero se nombran los sucientes y se usan los puntos suspensivos . . . para sugerir los elementos faltantes: E JEMPLO 1.2. B = {3, 5, 7, . . . }, C = {2, 4, . . . , 25 }. Sin embargo esta forma de nombrarlos es siempre ambigua, no puede saberse de antemano qu e elementos son los que se han omitido. Por ejemplo, B podr a ser el conjunto de los n umeros impares, o podr a ser el conjunto de los n umeros primos mayores que 2. Del mismo modo, C podr an ser todos los pares entre 2 y 25 o bien todas las potencias de 2 comprendidas en el intervalo natural [2, 25 ]. Otra forma de describir un conjunto es por comprensi on, es decir enunciando una propiedad de los elementos que lo integran: A = {x | x cumple la propiedad P }. Esto se lee: el conjunto de los x tales que x cumple la propiedad P . E JEMPLO 1.3. El conjunto B = {x | x es natural e impar y x 3} est a formado por todos los n umeros naturales impares mayores o iguales a 3. En este caso se trata de un conjunto con un n umero innito de elementos, y por lo tanto no podemos denirlo por extensi on. E JEMPLO 1.4. El conjunto C = {x | x es natural y 2 x 26 y x es potencia de 2} es el conjunto formado por los elementos 2, 4, 8, 16, 32 y 64. El conjunto C se dene tambi en por extensi on como C = {2, 4, 8, 16, 32, 64}.

2. SUBCONJUNTOS

Al conjunto vac o se lo denota con el s mbolo o { }. n umero es positivo y adem as negativo. Por lo tanto A es un conjunto vac o, y lo denotamos A= o A = { }. E JEMPLO 1.5. El conjunto A = {x | x > 0 y x < 0} no tiene elementos, ya que ning un

1.1.

Diagramas de Venn. Es frecuente utilizar ciertos diagramas, llamados diagramas de

Venn, para representar a los conjuntos. Un conjunto se representa con una l nea curva cerrada, y sus elementos con puntos en el interior. Por ejemplo, el diagrama de Venn para el conjunto A = {a, b, c, d} es a A b c d

F IGURA 1. Representaci on del conjunto A mediante un diagrama de Venn.

2. Subconjuntos Consideremos los conjuntos A = {1, 3, 5}, y B = {1, 2, 3, 4, 5}.

Como podemos ver, los elementos de A: 1, 2 y 3, tambi en son elementos de B . Decimos entonces que A es un subconjunto de B , o que A est a incluido en B . Un conjunto A es un subconjunto del conjunto B si todo elemento de A es tambi en elemento de B . Se denota A B y se dice que A est a incluido o contenido en B . En particular, todo conjunto est a inclu do en s mismo. E JEMPLO 1.6. A = {1, 3, 5} est a incluido en A, y lo escribimos A A.

10

1. TEOR IA BASICA DE CONJUNTOS

Dos conjuntos A y B son iguales si los elementos de A son elementos de B , y viceversa. Es decir, si A B y tambi en B A. Dos conjuntos A y B son distintos si no son iguales. Es posible que la denici on de conjuntos iguales y distintos resulta un tanto obvia, sin embargo es necesaria y no siempre es tan sencillo detectar la igualdad de dos conjuntos. E JEMPLO 1.7. Consideremos los conjuntos A = {1, 3} y B = {n | n2 4n = 3}.

En principio A y B est an denidos de manera diferente, por lo cual no podemos asegurar si son iguales o distintos. En efecto Los elementos de A son 1 y 3. Notemos que 1 y 3 verican la propiedad que dene a B . 12 4 1 = 1 4 = 3 Luego podemos armar que A B. Adem as, los elementos de B son los n umeros que satisfacen la ecuaci on n2 4.n + 3 = 0, elemento de B es un elemento de A, es decir y esta ecuaci on tiene exactamente como ra ces a 1 y 3. Por lo tanto tambi en es cierto que todo B A. Concluimos entonces que A = B . Notemos que dos conjuntos pueden ser distintos pero tener uno o m as elementos en com un. Por ejemplo, A = {2, 4} y B = {1, 4, 6} son distintos pero el 4 es un elemento de ambos conjuntos. Dos conjuntos se dicen disjuntos si no tienen ning un elemento en com un. E JEMPLO 1.8. Los conjuntos C = {2, 4, 6} y D = {1, 3, 5, 7} son disjuntos. Si A es un subconjunto de B , pero distinto de B , se dice que A es un subconjunto propio escribimos de B . La notaci on A B es correcta, pero si queremos resaltar que A y B son distintos, AB o A B. y 32 4 3 = 9 12 = 3.

2. SUBCONJUNTOS

11

B = {2, 4, 6, 8, 10}. de B : A B .

E JEMPLO 1.9. Consideremos los conjuntos A = {x | x es un natural par y x < 10}, y

En este caso, todo elemento de A es un elemento de B , y por lo tanto A es un subconjunto

Adem as se cumple que 10 pertenece a B pero no pertenece a A, por lo cual A y B no son B o A B. E JEMPLO 1.10. El conjunto N de los n umeros naturales es un subconjunto del conjunto Z

los mismos conjuntos. Decimos entonces que A es un subconjunto propio de B y lo escribimos A

existen n umeros enteros que no son naturales. Denotamos esto escribiendo N Z o N se verica que A. 2.1.

de los n umeros enteros, y se escribe N Z. Adem as N es un subconjunto propio de Z, ya que Z. El conjunto vac o est a incluido en todos los conjuntos1. Es decir que para todo conjunto A Si adem as A no es el conjunto vac o, podemos armar que A.

Intervalos de numeros reales. Un intervalo de n umeros reales es un subconjunto de

R que tiene la siguiente propiedad: dados dos n umeros a y b en el intervalo, todos los n umeros comprendidos entre a y b tambi en pertenecen al intervalo. Gr acamente, un intervalo se identica en la recta real con un segmento o una semirrecta, con o sin sus extremos, o con toda la recta real. E JEMPLO 1.11. El conjunto {x | 2 x 8} es un intervalo, que se representa en la recta real como un segmento con extremos 2 y 8. E JEMPLO 1.12. El conjunto {x | x > 5} es un intervalo, que se representa en la recta real como una semirrecta, con origen en -5, sin contar este extremo. Para los intervalos se utiliza una notaci on espec ca, y se los clasica adem as en intervalos cerrados, abiertos y semiabiertos. El intervalo cerrado [a, b], con a y b n umeros reales, es el subconjunto de R denido como [a, b] = {x | a x b}. En particular, a y b son elementos de [a, b].
1

Se sigue de las reglas de la implicaci on l ogica, que veremos m as adelante.

12

1. TEOR IA BASICA DE CONJUNTOS

El intervalo abierto (a, b), con a y b n umeros reales, es el subconjunto de R denido como (a, b) = {x | a < x < b}. En este caso, a y b no son elementos de (a, b). abiertos, y para e stos se utiliza la notaci on (a, ) y (, a), respectivamente. Al s mbolo se lo denomina s mbolo de innito. El conjunto R es tambi en un intervalo abierto, que se denota (, ). Los subconjuntos de la forma {x | x > a} y {x | x < a}, tambi en se llaman intervalos

siendo a y b n umeros reales. Se denen por comprensi on de la siguiente manera: [a, b) = {x | a x < b} [a, ) = {x | x a}

Por u ltimo, los intervalos semiabiertos se denotan de la forma [a, b), (a, b], [a, ) y (, a],

(a, b] = {x | a < x b}

(, a] = {x | x a} {x | 2 < x 3}. un s olo elemento: [5, 5] = {x | 5 x 5} = {5}, y este conjunto se representa como un punto en la recta real. E JEMPLO 1.13. Si a = 2, y b = 3, entonces [2, 3) = {x | 2 x < 3}, y (2, 3] =

E JEMPLO 1.14. Si tomamos a = b, por ejemplo a = b = 5, el intervalo cerrado [5, 5] tiene

2.2. El conjunto Universal. No necesariamente los elementos de un conjunto son de la misma naturaleza, por ejemplo, el conjunto C formado por la Torre Eiffel y el n umero es v alido como conjunto. Sin embargo, es muy poco interesante en la teor a. En general nos referiremos a conjuntos cuyos elementos tienen una propiedad en com un. E JEMPLO 1.15. A = {x | x es un natural par}, B = {x | x es un natural mayor que 4}

y C = {x | x es un natural menor que 23}, son conjuntos cuyos elementos son n umeros naturales.

2. SUBCONJUNTOS

13

E JEMPLO 1.16. Los elementos de los conjuntos X , Y y Z , X = {cuadrado, rect angulo, rombo}, tienen la propiedad de ser pol gonos. Resulta entonces conveniente considerar un conjunto que contenga a todos los conjuntos que se est en considerando. A dicho conjunto se lo denomina conjunto universal, y lo denotamos con la letra U . En el Ejemplo 1.15 todos los conjuntos son subconjuntos de N, y podemos considerar a N U = N. Notemos que A, B y C son tambi en subconjuntos del conjunto Z de n umeros enteros, por lo que tambi en podr a jarse U = Z. Por ello siempre debe dejarse expresado expl citamente el conjunto universal que se desee considerar. E JEMPLO 1.17. Si denotamos con P al conjunto formado por todos los pol gonos, entonces en el Ejemplo 1.16 podemos tomar U = P . Pero tambi en podemos considerar U = {cuadrado, rect angulo, rombo, tri angulo, hex agono, dec a gono, ene agono, oct ogono, hept agono}. En un diagrama de Venn el conjunto universal se representa con un rect angulo y el conjunto que nos interesa representar, digamos A, se denota con una curva cerrada dentro del rect angulo. La Fig. 2 ejemplica lo explicado. Y = {tri angulo, hex agono}

y Z = { dec agono, ene agono, oct ogono, hept agono}

como conjunto universal:

U F IGURA 2. Representaci on del conjunto A mediante un diagrama de Venn. Una de las propiedades m as u tiles de los diagramas de Venn es que dan una forma gr aca de visualizar las relaciones entre conjuntos, por ejemplo, en la Figura 3 representamos que todo elemento de B , es tambi en elemento de A.

14

1. TEOR IA BASICA DE CONJUNTOS

U F IGURA 3. Los elementos de B tambi en pertenecen a A. Cuando en un diagrama de Venn se desea enfatizar un conjunto es usual sombrear el interior de la curva cerrada que lo denota.

2.3. Cardinalidad: Si un conjunto A tiene una cantidad nita de elementos, diremos que es un conjunto nito y llamaremos cardinal de A al n umero de elementos de A. El cardinal del conjunto vac o es 0, y si el conjunto tiene una cantidad no nita de elementos diremos que es un conjunto innito y que su cardinal es innito. En todos los casos, el cardinal del conjunto A se denota |A| o tambi en #A. E JEMPLO 1.18. 2. Si B = {n | n N y n2 = 2}, entonces |B | = 0. 1. Si A = {a, b, c, 5, 4}, entonces |A| = 5.

3. Si C = {a, a, b}, entonces |C | = 2. 4. |Z| es innito.

2.4. El conjunto de partes. El conjunto de partes de un conjunto A es el conjunto cuyos elementos son todos los subconjuntos de A. Lo denotamos P (A). E JEMPLO 1.19. A = {1, 2, 3} entonces P (A) = {, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}}. E JEMPLO 1.20. B = {a} entonces P (B ) = {, B } = {, {a}}. innitos elementos. E JEMPLO 1.21. P (N) = {, {1}, {2}, {3}, . . . , {1, 2}, {1, 3}, . . . , {2, 3}, . . . }, tiene

Si A es un conjunto nito, digamos de n elementos, entonces el cardinal2 del conjunto de partes es 2n . Por ejemplo, para A = {1, 2, 3}, tenemos que |A| = 3 y |P (A)| = 8. Para B = {a}, tenemos |B | = 1 y |P (B )| = 2. Tambi en se cumple que || = 0, y |P ()| = |{}| = 1.
2

Esta propiedad se estudiar a en la asignatura Algebra I y Matem atica Discreta I.

3. EJERCICIOS

15

3.

Ejercicios

1. Dene por extensi on cada uno de los siguientes conjuntos, usando la notaci on . . . cuando sea necesario: b) {x | x es entero positivo y x es m ultiplo de 3} d ) {x | x es un entero y (3x 1)(x + 2) = 0} e) {x | 2x es entero positivo} c) {x | (3x 1)(x + 2) = 0} a) {x | x es entero y 3 < x < 4}

2. Enumera cinco elementos de cada uno de los siguientes conjuntos:

1 b) { n | n es primo }

a) {n | n es natural y n es divisible por 5} c) {2n | n es natural}

d ) {r | r es racional y 0 < r < 1} 3. Describe por extensi on cada uno de los siguientes conjuntos o escribe si son vac os: b) {x | x R y x2 = 9} a) {n | n N y n2 = 9}

d ) { x | x R, x < 1 y x 2 } e) {x | x Q, x2 = 3} f ) {3n + 1 | n N y n 6}.

c) {n | n Z y 3 < |n| < 7}

4. Sea X = {0, 1, 2}. Lista los elementos de cada uno de los siguientes conjuntos: b) {z | z = x + y donde x e y son elementos de X } d ) {z | x = z + y donde x e y son elementos de X } e) {z | z es entero y z 2 X } c) {z | z X o z X } a ) { z | z = 2x y x X }

5. Determina la cardinalidad de cada uno de los siguientes conjuntos: a) {x | x es entero y 1/8 < x < 17/2} b) {x | x R y x es entero } d ) {a, b, c, {a, b, c}} c) {x | x R, x2 = 1 o 2x2 = 1} e) {a, {b, c}, {a, b, c}}

16

1. TEOR IA BASICA DE CONJUNTOS

6. Describe por comprensi on los siguientes conjuntos: a) El conjunto de todos los enteros que pueden ser escritos como suma de cuadrados de dos enteros. b) El conjunto de todos los enteros menores que 1000 que son cuadrados perfectos. c) El conjunto de todos los n umeros que son m ultiplos enteros de 13. d ) { a, e, i, o, u } 7. Dena por extensi on los siguientes subconjuntos de N: b) c) a) {x | x + 1 es par y x <
19 } 3 {x | x + 1 es impar y x < 22 } 3 {2x 1 | x N y x < 32 } 5

d ) {3x 1 | x N y 5 x 8} e) {n | n N y 2n + 3 < 15}

8. Para cada uno de los siguientes pares de conjuntos A y B denir por extensi on A y B y decir si A B , B A o ninguna de las anteriores. a) A = {x N | x es par y x2 149} B = {x N | x + 1 es impar y x 10},

b) A = {x N | x es impar y x2 130}

c) A = {x N | x es impar y x2 4 y x2 141} d ) A = {x N | x es par y x2 150} B = {x N | x 1 es par y x 9},

B = {x N | x + 1 es par y x 12},

B = {x N | x 1 es impar y x 11}

9. En cada uno de los siguientes casos establece si x A, x A, ambas cosas o ninguna: a) x = {1} b) x = {1} A = {1, 2, 3} A = {{1}, {2}, {3}} A = {1, 2, {1, 2}} A = {{1, 2, 3}}

d ) x = {1, 2} e) x = {1} f) x = 1

c) x = {1}

A = {1, 2, {1, 2}}

A = {{1}, {2}, {3}}

10. Representa en la recta real cada uno de los siguientes intervalos, y descr belos por comprensi on:

3. EJERCICIOS

17

a) [1, 5] b) (2, 4)

d ) (, 5]

c) [1, )

e) (2, 7] f ) [4, 0)

11. Si X = {1, 2, 3, 4}, lista los elementos de cada uno de los siguientes conjuntos: a) {A | A X y A tiene 2 elementos } b) {A | A X y A tiene 1 elemento} c) {A | A es subconjunto propio de X }

d ) {A | A X y 1 A}

12. En cada uno de los siguientes casos, muestra que A B , es decir, que todo elemento de A es un elemento de B . a) A = {x | 2x2 + 5x = 3}

b) A = {x | x es entero positivo y x es par }

B = {x | 2x2 + 17x + 27 = 18/x}

c) A = {x | x es entero y x es un m ultiplo de 6} B = {x | x es entero y x es m ultiplo de 3}

B = {x | x es entero positivo y x2 es par }

13. Describe por extensi on el conjunto de partes de cada uno de los siguientes conjuntos y calcula su cardinal: b) B = {a, b}, a) A = {1},

d ) C = {1, a, x, w }.

c) S = {1, 2, 3},

CAP TULO 2

OPERACIONES ENTRE CONJUNTOS

As como pueden denirse diversas operaciones entre n umeros, tambi en existen operaciones entre conjuntos. El resultado de una operaci on entre conjuntos es a su vez un conjunto. conjuntos est an denidas las operaciones de uni on, intersecci on y diferencia. Adem as, para subconjunto de U . Sean A y B dos conjuntos. Fijemos un conjunto universal U y consideremos todos los subconjuntos de U . Entre estos

cada conjunto se dene el complemento. El resultado de cada una de estas operaciones es un 1. La uni on de conjuntos

La uni on A B de A con B es el conjunto cuyos elementos pertenecen a A o pertenecen a B . Por comprensi on, la uni on entre los conjuntos A y B se dene as : A B = {x | x A o x B } elementos de B pertenecen a A B . En particular, A y B son subconjuntos de A B , pues todos los elementos de A y todos los En un diagrama de Venn representamos la uni on de dos conjuntos sombreando el a rea que

cubren ambos conjuntos (ver Figura 1).

U F IGURA 1. La uni on de los conjuntos A y B .

19

20

2. OPERACIONES ENTRE CONJUNTOS

E JEMPLO 2.1. Si A = {1, 3, 5} y B = {2, 5}, entonces A B = {1, 2, 3, 5}. E JEMPLO 2.2. Si consideramos el intervalo abierto (0, 1) y el conjunto de dos elementos {0, 1}, entonces (0, 1) {0, 1} = [0, 1] Si A es un subconjunto de B , esto es, A B , entonces A B = B . {1, 2, 3, 4, 5, 6, 7, 8, 9}. E JEMPLO 2.3. Si A = {1, 4, 9} y B = {1, 2, 3, 4, 5, 6, 7, 8, 9}, entonces A B = E JEMPLO 2.4. Si A = {x | x es m ultiplo de 5} y B = {x | x es m ultiplo de 10}, entonces A B = {x | x es m ultiplo de 5 }, dado que todo n umero m ultiplo de 10 es tambi en m ultiplo de 5. En este caso, B A. tiene elementos: La uni on de un conjunto A con el conjunto vac o es el mismo conjunto A, puesto que no A = A. La uni on de un conjunto A con A es el mismo conjunto A: A A = A. 2. Sean A y B dos conjuntos. La intersecci on

La intersecci on A B entre A y B es el conjunto cuyos elementos pertenecen a A y pertenecen a B . Por comprensi on, la intersecci on de los conjuntos A y B se dene como A B = {x | x A y x B }. n es impar y n 20}, entonces E JEMPLO 2.5. Sean U = N, A = {n | n 11}, P = {n | n es primo}y B = {n | A B ={1, 3, 5 , 7, 9, 11} A P ={2, 3 , 5 , 7 , 11} B P ={3, 5, 7, 11, 13, 17, 19}

3. COMPLEMENTO DE UN CONJUNTO

21

E JEMPLO 2.6. Si consideramos los intervalos [0, 5) y (3, 6], entonces [0, 5) (3, 6] = [0, 6] y [0, 5) (3, 6] = (3, 5).

Si A es un subconjunto de B , esto es A B , entonces A B = A. En particular, A A = A y A = . es decir, es el conjunto vac o: E JEMPLO 2.7. La intersecci on del intervalo (0, 1) con el conjunto {0, 1} no tiene elementos, (0, 1) {0, 1} = , es decir que (0, 1) y {0, 1} son conjuntos disjuntos. En particular, dos conjuntos son disjuntos si y s olo si su intersecci on es vac a. En un diagrama de Venn la intersecci on de dos conjuntos se representa por la regi on que est a determinada por el interior de las curvas cerradas que determinan los conjuntos. Esta regi on se la destaca con un sombreado (ver Figura 2). Obs ervese que la intersecci on de dos conjuntos es vac a si y s olo si no hay elementos comunes entre ellos. Esto se graca con dos curvas cerradas que no se cortan.

U F IGURA 2. Intersecci on de A y B .

3. Complemento de un conjunto Fijemos U un conjunto universal y A un subconjunto de U . El complemento de A con respecto a U es el conjunto a A y se denota por Ac .

cuyos elementos son todos los elementos de U que no pertenecen

22

2. OPERACIONES ENTRE CONJUNTOS

En s mbolos, Ac = {x U | x A}. En un diagrama de Venn el complemento de A es la regi on exterior de la curva cerrada que determina A y lo destacamos con un subrayado o sombreado.

U F IGURA 3. Complemento de A. E JEMPLO 2.8. Si U = N y P es el conjunto de los n umeros pares, entonces Pc es el conjunto E JEMPLO 2.9. Si U es un plano, y P es un punto en el plano, entonces P c es el plano sin el

de los n umeros naturales impares.

punto P .

E JEMPLO 2.10. Sea U = Z. Entonces Zc = .

4. Diferencia Sean A y B dos conjuntos.

es el conjunto de todos los elementos que pertenecen a A y no pertenecen a B .

La diferencia o complemento relativo A B entre A y B

A B = {x | x A y x B } Observemos que Ac = U A. En un diagrama de Venn representamos la diferencia entre los conjuntos A y B , destacando la regi on que es interior a A y exterior a B (ver Figura 4). E JEMPLO 2.11. Z N = {n | n Z y n 0}.

4. DIFERENCIA

23

U F IGURA 4. Diferencia entre el conjunto A y el conjunto B . E JEMPLO 2.12. {1, 2, 3, 4, 5} {2, 4, 6, 8} = {1, 3, 5} E JEMPLO 2.13. [1, 1] {0} = [1, 0) (0, 1] 4.1. Propiedades de las operaciones. Resumimos a continuaci on las propiedades que cumplen las operaciones de uni on, intersecci on y complementaci on: Propiedad conmutativa AB =BA A B = B A. Propiedad asociativa (A B ) C = A (B C ) (A B ) C = A (B C ) Propiedad distributiva A (B C ) = (A B ) (A C ) A (B C ) = (A B ) (A C ) Leyes de Morgan (A B )c = Ac B c Los siguientes ejemplos ilustran estas propiedades. E JEMPLO 2.14. Si A = {1, 2, 3}, B = {2, 3, 4} y C = {1, 3, 5}, entonces (A B ) C = { 2 , 3 } { 1 , 3 , 5 } = { 3 } A (B C ) = { 1 , 2 , 3 } { 3 } = { 3 } . (A B ) C = { 1 , 2 , 3 , 4 } { 1 , 3 , 5 } = { 1 , 2 , 3 , 4 , 5 } A (B C ) = { 1 , 2 , 3 } { 1 , 2 , 3 , 4 , 5 } = { 1 , 2 , 3 , 4 , 5 } . (A B )c = Ac B c .

24

2. OPERACIONES ENTRE CONJUNTOS

{0, 3, 6, 9} y C = {1, 3, 5, 7, 9}. Entonces,

E JEMPLO 2.15. Sea U = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}, y sean A = {0, 2, 4, 6, 8}, B =

(A B ) (A C ) = { 0 , 6 } = { 0 , 6 } , A (B C ) = { 0 , 2 , 4 , 6 , 8 } { 0 , 1 , 3 , 5 , 6 , 7 , 9 } = { 0 , 6 } , (A B ) (A C ) = { 0 , 2 , 3 , 4 , 6 , 8 , 9 } { 0 , 1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 } = { 0 , 2 , 3 , 4 , 6 , 8 , 9 } , A (B C ) = { 0 , 2 , 4 , 6 , 8 } { 3 , 9 } = { 0 , 2 , 3 , 4 , 6 , 8 , 9 } . E JEMPLO 2.16. Si A, B y U son como en el Ejemplo 2.15, entonces (A B )c = { 0 , 2 , 3 , 4 , 6 , 8 , 9 } c = { 1 , 5 , 7 } (A B )c = { 0 , 6 } c = { 1 , 2 , 3 , 4 , 5 , 7 , 8 , 9 } y Ac B c = {1, 3, 5, 7, 9} {1, 2, 4, 5, 7, 8} = {1, 5, 7}. y Ac B c = {1, 3, 5, 7, 9} {1, 2, 4, 5, 7, 8} = {1, 2, 3, 4, 5, 6, 8, 9} Destacamos que en estos ejemplos s olo hemos hecho una comprobaci on en un caso particular, y no es suciente para demostrar que la misma se cumple para cualquier par de conjuntos A y B. 5. Ejercicios 1. Si U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10} es el conjunto universal y A = {1, 4, 7, 10}, B = {1, 2, 3, 4, 5}, C = {2, 4, 6, 8}, dena por extensi on los siguientes conjuntos: b) A B c) Ac
c

a) A B

h) B C i) A j ) A (B C )

d) U

e) B U
c

k ) (A B ) C l) A B ) C

g ) (A B )c C

f ) B (C A)

m ) (A B ) (C B )

2. Sea U = {1, 2, 3, 4, 5, . . . , 12}, A = {1, 3, 5, 7, 9, 11}, B = {2, 3, 5, 7, 11}, C = {2, 3, 6, 12} y D = {2, 4, 8}. Determine los conjuntos b) A C a) A B d) A B c) (A B ) C c e) C D

f ) (B D ) (D B )

3. En diagramas de Venn como el de la gura, sombree los conjuntos siguientes:

5. EJERCICIOS

25

A C U

b) A B

a) A B c) (A C ) B e) (A C )
c

g ) (A C ) C c i ) (A B ) C

f ) (A B ) C

d) A B C

h ) (A B C )c j ) (A B ) (A C )

4. De un total de 60 alumnos de un colegio: 15 estudian franc es solamente, 11 estudian franc es e ingl es; 12 estudian alem an solamente; 8 estudian franc es y alem an; 10 estudian ingl es solamente; 5 estudian ingl es y alem an; y 3 los tres idiomas. Determina: a) Cu antos no estudian ning un idioma? b) Cu antos estudian alem an? c) Cu antos estudian alem an e ingl es solamente? d ) Cu antos estudian franc es? 5. Describe por comprensi on el conjunto que resulta de las siguientes operaciones y graf calo en la recta real. Indica si el conjunto obtenido es un intervalo, y en tal caso repres entalo en la notaci on de intervalos. a) [1, ] (3, 2). b) (, 2) [0, ) c) (3, 1] (2, )

d ) (2, 3] (, 1) e) [3, 0) (2, 3)

26

2. OPERACIONES ENTRE CONJUNTOS

6. Utilizando las propiedades de asociatividad, conmutatividad y distributividad de la uni on y la intersecci on, y las Leyes de Morgan, compruebe las siguientes identidades. Ilustre cada caso con un diagrama de Venn. Recuerde que A B = A B c . a) (Ac B )c = A B c b) A (B A)c = c) (A B ) C = (A C ) (B C ) d ) (A B ) (A B c ) = A e) (A B ) (A B c ) = A

7. Simplique la expresi on de modo que A, B y C aparezcan a lo sumo una vez: a) ((Ac C c ) B )c (A (C B )c C )c Soluci on: a) (A C ) B c , b) (A (B C )c )c (Ac (B C )c )c b)

CAP TULO 3

PRODUCTO CARTESIANO
1. Pares ordenados y producto cartesiano

Dos elementos dados en cierto orden forman un par ordenado. Por ejemplo, un punto geogr aco est a determinado por las coordenadas latitud y longitud, una fecha en el a no est a dada por dos n umeros: el mes y el d a. En general, si x e y son dos objetos, se puede formar el par ordenado de x e y , y este par se denota como (x, y ). De esta manera, la fecha (10,03) signica 3 de octubre, mientras que (03,10) indica el 10 de marzo. Como vemos, el orden en que se dan los elementos es relevante. Los elementos que forman un par ordenado pueden o no pertencer a un mismo conjunto. Por ejemplo, en el caso de las fechas, el primer elemento del par es un n umero natural entre 1 y 12, mientras que el segundo es un natural entre 1 y 31. Pero tambi en podemos formar los pares ordenados de la forma (apellido, nro. de documento), donde el primer elemento del par es un apellido tomado de un conjunto de personas, y el segundo elemento del par es un n umero. En este caso, los elementos del par son de distinta naturaleza. Sean A y B dos conjuntos no vac os. El conjunto de todos los pares ordenados tales que el primer miembro del par ordenado es un elemento de A y el segundo miembro es un elemento de B , se llama el producto cartesiano de A por B y se escribe A B . En s mbolos, A B = {(a, b) | a A y b B }.

E JEMPLO 3.1. Si A = {2, 4, 6} y B = {4, 5, 6}, el producto cartesiano de A por B es A B = {(2, 4), (2, 5), (2, 6), (4, 4), (4, 5), (4, 6), (6, 4), (6, 5), (6, 6)} E JEMPLO 3.2. Si A = {, } y B = {1, 2, 3}, entonces: A B = {(, 1), (, 2), (, 3), (, 1), (, 2), (, 3)} B A = {(1, ), (1, ), (2, ), (2, ), (3, ), (3, )} A A = {(, ), (, ), (, ), (, )} B B = {(1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (2, 3), (3, 1), (3, 2), (3, 3)}.
27

28

3. PRODUCTO CARTESIANO

Si los conjuntos tienen una cantidad nita de elementos puede resultar u til el uso de una tabla de doble entrada, como la siguiente: AB 1 2 3 BA 1 2 3 (1, ) (1, ) (2, ) (2, ) (3, ) (3, )

(, 1) (, 2) (, 3) (, 1) (, 2) (, 3)

primera coordenada es x, mientras que la columna correspondiente al elemento y de Y contiene todos los pares ordenados de X Y cuya segunda coordenada es y . Si A y B son conjuntos nitos, entonces el cardinal de A B

la la correspondiente al elemento x de X contiene todos los pares ordenados de X Y cuyo

As , en la tabla del producto cartesiano X Y de dos conjuntos nitos X e Y , tenemos que

es el n umero de elementos de A por el n umero de elementos de B 2. Representaci on en ejes cartesianos Si los conjuntos A y B son subconjuntos de los n umeros reales, entonces resulta u til la representaci on gr aca del producto cartesiano en ejes cartesianos. Los ejes cartesianos est an formados por dos rectas perpendiculares, donde una de ellas representa el eje de las abscisas y el otro el eje de las ordenadas. En ambas rectas se representan los n umeros reales y el punto de intersecci on de ambas corresponde usualmente al origen de coordenadas, en el sentido que corresponde al 0 en ambos ejes. Al lado de cada eje se deja indicada una letra que sugiere qu e coordenada se representa en dicho eje. Las echas dibujadas indican el sentido creciente en cada una de las rectas (Figura 1). Dado un punto P en el plano, trazamos las rectas perpendiculares a cada uno de estos ejes por el punto P . Los puntos de intersecci on de cada una de estas rectas con los ejes de las abscisas y de las ordenadas se denominan abscisa y ordenada del punto P , respectivamente, o tambi en primera y segunda coordenada. De este modo, cada punto P del plano est a en correspondencia con un par ordenado (x, y ), donde x es la abscisa de P e y es la ordenada. A su vez, a cada par ordenado (a, b) le corresponde un punto del plano cuya abscisa es a y cuya ordenada es b.

En la Figura 2 podemos ver la representaci on gr aca en ejes cartesianos de (una parte de) los siguientes conjuntos:

C = {(m, n) Z Z | m = n2 }

L = {(x, y ) | (x, y ) R R e y = x + 1}

 EN EJES CARTESIANOS 2. REPRESENTACION

29

y 6  P y
b

Eje de ordenadas

(a, b)

Eje de abscisas -

(0, 0)

F IGURA 1. Representaci on de puntos en ejes cartesianos n (4,2)

r r

(9,3)
r

C (0,0)

(1,1)
r r r

(1,-1)

(4,-2)

(9,-3)

r (0,1)

F IGURA 2. Representaci on gr aca de los conjuntos C y L Notemos que C es un conjunto innito de puntos separados, pues sus coordenadas son n umeros enteros, mientras que L es una recta continua de puntos. Tambi en podemos gracar regiones del plano, como muestra la Figura 3, siendo R = {(x, y ) R R | 1 x 2, 1 y 1}.

11111111 00000000 00000000 11111111 00000000 11111111 00000000 11111111 00000000 11111111 00000000 11111111 1 11111111 2 00000000 00000000 11111111 00000000 11111111 00000000 11111111 00000000 11111111 1

F IGURA 3. Representaci on gr aca del conjunto R.

30

3. PRODUCTO CARTESIANO

Pueden ser tambi en regiones no acotadas. Por ejemplo, la banda innita A = {(x, y ) | 0 y < 3}, representada en la Figura 4.

y 3 1111111111111111111 0000000000000000000 0000000000000000000 1111111111111111111 0000000000000000000 1111111111111111111 0000000000000000000 1111111111111111111 0000000000000000000 1111111111111111111 0000000000000000000 1111111111111111111 0 x

F IGURA 4. Representaci on gr aca del conjunto A. La l nea punteada en el borde superior de la banda indica que los puntos con segunda coordenada igual a 3 no pertenecen a A, mientras que la l nea llena inferior indica que los puntos con segunda coordenada 0 s pertenecen. Siempre que representemos puntos o conjuntos de puntos en un diagrama cartesiano, debemos elegir una escala apropiada en cada uno de los ejes. La escala elegida depender a del conjunto a representar. Por ejemplo, si queremos representar el conjunto A = {(x, y ) | 0 x 0,01, 0 y 0,005} ser a conveniente tener escalas en cada uno de los ejes en la que 0,01 y 0,005 puedan ser representados a una cierta distancia del 0. De lo contrario nuestra gr aca se parecer a m as a un punto que a un rect angulo. O si por ejemplo, queremos representar el conjunto B = {(x, y ) | 106 < x < 106 , y > 103 }, ser a conveniente usar escalas distintas en el eje de las abscisas que en el de las ordenadas, ya que 106 es mil veces el n umero 103 . (Figura 5).

Tambi en puede ocurrir que los datos que se quieren representar tienen una o ambas coordenadas muy alejadas del 0. En este caso se suele convenir que el punto de intersecci on de ambos ejes coordenados no sea el (0, 0) sino otro punto. Este punto nuevamente depender a del problema en cuesti on. Por ejemplo, si queremos representar D = {(x, y ) | 1010 < x < 1000, y 5},

3. EJERCICIOS

31

y y

0.005111111 000000

111111 000000 000000 111111 000000 111111 000000 111111 000000 111111
0.005 0.01

1111111111111 0000000000000 0000000000000 1111111111111 0000000000000 1111111111111 0000000000000 1111111111111 2000 0000000000000 1111111111111 0000000000000 1111111111111 0000000000000 1111111111111 0000000000000 1111111111111 1000 0000000000000 1111111111111 0000000000000 1111111111111
x 10
6

5.10

10

F IGURA 5. Uso de escalas apropiadas ser a conveniente desplazar el origen en el eje de las x como muestra la Figura 6.

y 10 5 (1005 ,0)

111 000 000 111 000 111 000 111 1010 1000 000 111 000 111 000 111 000 111 000 111 000 111 000 111

F IGURA 6. Desplazamiento del origen En este caso hemos elegido las coordenadas de modo que el punto de intersecci on de los ejes corresponda al punto 1005 en el eje de las abscisas y a 0 en el eje de las coordenadas. 3. Ejercicios

1. Sea A = {a, b, c} y B = {a, b, d}.

a) Liste los pares ordenados de A A.

b) Liste los pares ordenados de A B .

c) Liste los elementos del conjunto {(x, y ) | (x, y ) A B y x = y }

2. Sean los conjuntos A = {1, 3, 5, 7, 9} y B = {2, 5, 10} Describa por extensi on los siguientes conjuntos: (i) {(a, b) A B | a + b < 11}.

32

3. PRODUCTO CARTESIANO

(ii) {(a, b) A B | a + b 11 y a + b es par }. 3. Sea S = {0, 1, 2, 3, 4} y T = {0, 2, 4}. b) Liste los elementos de

a) Cu antos pares ordenados hay en S T ? En T S ? 1) {(m, n) | (m, n) S T y m < n}

2) {(m, n) | (m, n) T S y m < n}

4) {(m, n) | (m, n) S T y m.n 4}

3) {(m, n) | (m, n) S T y m + n 3}

c) Para cada uno de los items anteriores, represente el conjunto en un diagrama de ejes cartesianos. 4. Dena por extensi on los subconjuntos de R R representados en la Figura 7:
(100,25) 1111111 0000000 0000000 1111111 0000000 1111111 0000000 1111111 0000000 1111111 0000000 1111111 0000000 1111111 0000000 1111111 0000000 1111111 0000000 1111111 (10,0.1)

5) {(m, n) | (m, n) S T y m + n = 10}

111111111 000000000 000000000 111111111 000000000 111111111 000000000 111111111 000000000 111111111 000000000 111111111
(20, 0.05)

(0,0)

F IGURA 7

3. EJERCICIOS

33

5. Graque en ejes cartesianos las siguientes regiones o conjuntos: a) {(x, y ) | 0 x 2, 2 < y < 3} b) {(x, y ) | x = 2} c) {(x, y ) | x y } (2, 0) d ) {(x, y ) | x > 2} e) {(x, y ) | y < 3} f ) {(x, y ) | 0 < x < y }

g) El conjunto de puntos interiores del tri angulo con v ertices en (1, 1), (1, 3),

6. Describa por comprensi on los siguientes subconjuntos de R R: a) El eje de las ordenadas. b) El eje de las abcisas. c) El segundo cuadrante. d ) El conjunto de puntos interiores al rect angulo con v ertices en (1, 1), (1, 3), e) El borde del rect angulo dado en el tem 6d . 7. Elija escalas adecuadas en cada uno de los ejes como as tambi en el punto de intersecci on de los mismos para representar los siguientes conjuntos: a) {(x, y ) | 5000 x 500, y 1} b) {(x, 104 ) | 200 < x < 500} c) {(104 , 104 + 1), (104 , 104 + 2), (104 + 1, 104 3), (104 2, 104 6)} (2, 1) y (2, 3).

d ) {(0,5, 0,6), (0,5, 0,7), (0,2, 0,3), (0,05, 0,125)} 8. Considere los conjuntos: A = {(x, y ) | (x, y ) R2 , 2x y = 4}, B = {(x, y ) | x + 3y = 9} y C = {(x, y ) | (x, y ) R2 , y = 2x}. (b) A C

Describa y graque los siguientes conjuntos: (c) B C (a) A B (d) Ac C c

CAP TULO 4

LOGICA
Uno de los procesos por los cuales adquirimos conocimiento es el proceso de razonamiento. A su vez, hay una variedad de modos o formas mediante las cuales razonamos o argumentamos a favor de una conclusi on. Ciertas formas de razonamiento parecen mostrar que si se suponen ciertas premisas, entonces la conclusi on se sigue necesariamente. A tales razonamientos se los ha denominado deductivos y forman el objetivo central de lo que cl asicamente se ha denominado l ogica. En un sentido amplio, el t ermino l ogica hace referencia al estudio de todos los razonamientos, y en un sentido estricto ha estado circunscripto al estudio del razonamiento deductivo. Cierto tipo de razonamiento deductivo se basa en la l ogica proposicional. Lo que caracteriza a la l ogica proposicional es que toma como unidades b asicas a las proposiciones y que tiene en cuenta c omo se combinan entre ellas por medio de conectivos l ogicos para formar argumentos v alidos.

1. Proposiciones Una proposici on es una sentencia declarativa que puede ser verdadera o falsa, pero no ambas a la vez. Tambi en podr amos decir que una proposici on es una sentencia que expresa una propiedad para un individuo o ente, o que expresa la validez de una relaci on entre individuos o entes. Por ejemplo: Hoy es s abado. Los tri angulos tienen cuatro v ertices. 25 + 24 = 49. Juan va al trabajo en tren . Las sentencias exclamativas, las interrogativas y las imperativas tales como: Viva la patria!, Est a lloviendo? Oprima la tecla ENTER no son proposiciones puesto que no pueden ser declaradas como verdaderas o falsas. La veracidad V o falsedad (F) de una proposici on se llama valor de verdad y viene dada por alg un criterio independiente de la proposici on.
35

36

4. LOGICA

Algunas proposiciones parecieran tener distintos valores de verdad seg un el caso. Por ejemplo, si decimos: Hoy es s abado, es falsa de domingo a viernes y es verdadera los s abados. O por ejemplo, Nalbandi an gan o depende de qu e partido nos estemos reriendo. Esto se debe a que en nuestro lenguaje coloquial hay una gran parte de la informaci on que est a impl cita. La palabra hoy est a indicando una fecha particular, aunque no se est e diciendo expl citamente cu al. Un titular en un peri odico que diga Nalbandi an gan o, se est a reriendo a un determinado partido. 2. Conectivos l ogicos En el c alculo proposicional se suelen utilizar letras min usculas como p, q , r ,... para simbolizar las proposiciones. Estos s mbolos pueden modicarse o combinarse mediante conectivos l ogicos dando lugar a proposiciones compuestas. Los conectivos l ogicos que estudiaremos son y la doble implicaci on: . La negaci on modica una proposici on y por lo tanto se dice que la negaci on: , la conjunci on: , la disyunci on: , la disyunci on exclusiva: , la implicaci on:

es 1-aria o unitaria. Los otros se aplican a dos proposiciones y se los llama 2-arios o binarios.

E JEMPLO 4.1. Consideremos las proposiciones p: 4 es positivo y q : 2 es racional. Algunas posibles combinaciones de p y q son: p : pq : p q : pq : pq: pq: 4 no es positivo. 4 es positivo y 2 es racional. 4 no es positivo y 2 es racional. 4 es positivo o 2 es racional. Si 4 es positivo entonces 2 es racional. 4 es positivo si y s olo si 2 es racional.

3. Negaci on Si p es una proposici on, simbolizamos con p a su negaci on.

La negaci on es una operaci on unitaria que se aplica a una proposici on y tiene el efecto de revertir es verdadera. el valor de verdad. Esto es, si p es verdadera entonces p es falsa, y si p es falsa entonces p

E JEMPLO 4.2. Si p simboliza la proposici on estamos en la clase de Algebra , entonces p es no estamos en la clase de Algebra . En la siguiente tabla mostramos la relaci on entre los valores de verdad de p y p:

 4. CONJUNCION

37

p p F V

Una tabla de este tipo, en la que se listan simult aneamente los valores de verdad de la proposici on p y la que resulta de aplicar un conectivo se llama tabla de verdad. E JEMPLO 4.3. Consideremos la proposici on p: 10 es m ultiplo de 5. Entonces el valor de p es V . Su negaci on debe ser una proposici on que es falsa siempre que p sea verdadera, por lo tanto p debe expresar exactamente lo contrario a lo que expresa p: p: 10 no es m ultiplo de 5. E JEMPLO 4.4. Consideremos la proposici on q : Todos los perros son blancos. No debe confundirse la negaci on con decir algo diferente, por ejemplo r : Algunos perros son blancos. La proposici on r no es la negaci on de q , puesto que si q es verdadera tambi en r lo es. Si decimos s : Ning un perro es blanco tampoco s es la negaci on de q , puesto que si existiera un u nico perro de color blanco y los dem as fueran marrones, entonces tanto q como s ser an proposiciones falsas. La negaci on de q puede ser enunciada de la siguiente manera: q : Algunos perros no son blancos. As , si q es verdadera, q es falsa, mientras que si q es verdadera entonces q es falsa. 4. Conjunci on

La conjunci on es un conectivo que permite formar proposiciones compuestas a partir de dos o m as proposiciones. Una conjunci on de proposiciones es verdadera si y s olo si cada una de ellas es verdadera. Basta que un solo t ermino de la conjunci on sea falso para que toda la conjunci on sea falsa. En castellano, normalmente la conjunci on se expresa por medio de la y, de comas o de una combinaci on de e stas, o palabras como pero. As , por ejemplo, la proposici on compuesta C ordoba tiene sierras y tiene r os es verdadera porque cada parte de la conjunci on es verdadera. No ocurre lo mismo con la proposici on C ordoba tiene sierras y tiene mar. Esta proposici on es falsa porque C ordoba no tiene mar.

38

4. LOGICA

La siguiente tabla corresponde a la tabla de verdad de la conjunci on:

p V V

q V F

pq V F F F

F V F F

expresa algunas aves vuelan y el gato es un ave, que es obviamente falsa pues los gatos no son aves. Por otro lado la proposici on p q que dice algunas aves vuelan y el gato no es un ave es verdadera pues es la conjunci on de dos proposiciones verdaderas.

E JEMPLO 4.5. Si p es algunas aves vuelan y q es el gato es un ave, entonces p q

5.

Disyunci on

Existen dos operadores de disyunci on: La disyunci on exclusiva o excluyente y la disyunci on inclusiva o incluyente. La disyunci on exclusiva de dos proposiciones es verdadera si s olo una de las proposiciones es verdadera, y la indicamos con el s mbolo . La disyunci on inclusiva entre dos proposiciones es falsa so lo si ambas proposiciones son

el uso de la disyunci on inclusiva, tambi en llamada el o inclusivo. A veces el contexto de una frase indica si la disyunci on es excluyente o incluyente. Un ejemplo de disyunci on de tipo inclusivo es: Los alumnos regularizan la materia si aprueban tres parciales o si aprueban dos parciales y tienen un 80 % de asistencia. En este caso, los alumnos pueden cumplir cualquiera de los dos requisitos, o tambi en cumplir los dos. Pero por ejemplo, si en un restaurante con men u jo se nos dice que tenemos como postre helado o an normalmente no signica que podamos pedir ambos, siendo en este caso la disyunci on exclusiva. Frecuentemente y cuando no es claro en el contexto de la oraci o n se indica que una disyunci on es incluyente (excluyente respectivamente) terminando la frase con o ambas (respectivamente pero no ambas). Las siguientes tablas resumen los valores de verdad de p q y p q :

falsas y se indica con el s mbolo . En el lenguaje coloquial y en matem atica es m as frecuente

 Y LA DISYUNCION 7. PROPIEDADES DE LA CONJUNCION

39

p V V

q V F

pq F V V F

p V V

q V F

pq V V V F

F V F F

F V F F

6. Los conectivos y las operaciones entre conjuntos Recordemos que la uni on entre conjuntos se dene como A B = {x | x A o x B }. Dado que el nexo o no es excluyente, podemos utilizar la notaci on l ogica y escribir A B = {x | x A x B }. De manera an aloga, la intersecci on entre dos conjuntos A y B se dene como A B = {x | x A x B }. A su vez, jado un conjunto universal U , el complemento de un conjunto A se dene como Ac = {x | (x A)}. 7. Propiedades de la conjunci on y la disyunci on Los conectivos l ogicos binarios combinan, como su nombre lo indica, dos proposiciones. Para la disyunci on y para la conjunci on se cumple la propiedad conmutativa: p q = q p, pq = qp y p q = q p.

Si combinamos tres o m as proposiciones utilizando uno de estos conectivos, entonces no importa cu al es el orden en que se realicen las operaciones. Por ejemplo, la conjunci on entre tres proposicones p, q y r : pqr operaciones asociativas. puede efectuarse operando (p q ) r o p (q r ). Es decir, la conjunci on y la disyunci on son En cambio, si utilizamos dos o m as conectivos distintos, no se cumple la asociatividad en todos los casos. Por ejemplo, la expresi on (p q ) r

40

4. LOGICA

indica que se efect ua primero p q y luego la disyunci on con r ; mientras que en la expresi on p (q r ) entonces (p q ) r = V y p (q r ) = F , por lo tanto (p q ) r = p (q r ). pondientes, y se dejan como ejercicio para el lector. Propiedad asociativa (p q ) r = p (q r ) (p q ) r = p (q r ) Propiedad distributiva p (q r ) = (p q ) (p r ) p (q r ) = (p q ) (p r ). Leyes de Morgan (p q ) = p q (p q ) = p q 8. Ejercicios 1. Eval ua cada proposici on seg un los valores de verdad p = F , q = V , r = F . a) p q c) p q e) (p q ) ( p r ) f ) p (q r ) se efect ua la conjunci on de p con q r . Notemos por ejemplo que si p = F , q = V y r = V , Las siguientes propiedades pueden comprobarse construyendo las tablas de verdad corres-

b) p q

d ) p (q r )

2. En la columna de la izquierda hay una lista de proposiciones. Para cada una de ellas, indica si la correspondiente proposici on a la derecha es o no su negaci on. Si no lo es, escribe correctamente la negaci on. a) El pizarr on es verde. b) 4 es m ultiplo de 8. c) El conjunto A tiene un solo elemento. d ) A es un conjunto vac o. e) a b f) a b j) b A B

k) c Ac

a) El pizarr on es negro. b) 4 no es m ultiplo de 8. c) El conjunto A es vac o. d ) A tiene al menos un elemento. e) a > b f) a b

l ) d Gc

h) a < b c

g) a < b c i) a A B

8. EJERCICIOS

41

h) a b o b > c i) a A B
c c

g) a > b c

k) c A

j ) b (A B )c l) d G r : a < c.

3. Suponga que a, b y c son n umeros reales. Represente en forma simb olica los enunciados dados tomando: p : a < b, a) a < b < c. b ) (a b y b < c) o a c . c) No es cierto que (a < b y a < c). q : b < c,

4. Suponiendo p y q verdaderos, y r y s falsos, indica los valores de verdad de las siguientes expresiones: a ) p (q r ) b) (p (q r )) ((p q ) (r s))

d ) ( No es verdad que (a < b y (a < c o b < c))) o (a b y a < c).

5. Compruebe a trav es de las tablas de verdad, las propiedades distributivas de la disyunci on y de la conjunci on, y las leyes de Morgan.

c) ((p q ) r ) (((p q ) r ) s)

CAP TULO 5

CUANTIFICADORES
1. Funciones proposicionales Consideremos las siguientes proposiciones: q : El perro es un animal. r : La rosa es un animal. s : La vaca es un animal. Las tres proposiciones tienen en com un el predicado ling u stico es un animal, y tienen diferente el sujeto. La frase es un animal est a dando una propiedad del sujeto. Si escribimos: x es un animal obtenemos una oraci on que no es una proposici on dado que su valor de verdad depender a del valor de x. As , si a x le damos el valor x = El perro obtenemos la proposici on El perro es un animal que es verdadera, mientras que si a x le damos el valor x = La rosa obtenemos la proposici on La rosa es un animal que es falsa. En este ejemplo, la frase x es un animal es una es una funci on proposicional, y la variable x toma valores en un conjunto llamado universo del discurso . Entonces, las funciones proposicionales no son proposiciones, pero para cada valor que le demos a x obtenemos una proposici on. A las funciones proposicionales las denotamos con una letra may uscula seguida de la variable entre par entesis. Por ejemplo: P (x) : x es un animal. Tambi en podemos tener funciones proposicionales con m as de una variable, por ejemplo x es mayor que y . El valor de verdad en estos casos depender a de los valores que tomen las variables x e y . As , si x = 0 e y = 3, la proposici on 0 es mayor que 3 es falsa, mientras que si x = 4 e y = , la proposici on 4 es mayor que es verdadera.
43

44

5. CUANTIFICADORES

2. Cuanticadores Los cuanticadores nos permiten construir proposiciones a partir de funciones proposicionales ya sea particularizando o generalizando. Ejempliquemos esto. Si consideramos la funci on proposicional P (x) : x es mayor que 0, podemos particularizar esto diciendo: Existe un n umero real que es mayor que 0, o generalizarlo diciendo Todos los n umeros reales son mayores que 0. Notemos que tanto en la particularizaci on como en la generalizaci on se especica un conjunto en donde toma valores la variable, en este ejemplo el conjunto son los n umeros reales. Existe una notaci on espec ca para la particularizaci o n y la generalizaci on: x R | x > 0, que se lee existe un x R tal que x es mayor que 0; mientras que x R, x > 0 se lee para todo x R se cumple que x es mayor que 0. El s mbolo se llama cuanticador universal y el s mbolo es el cuanticador existencial

Como ya lo hemos armado, un cuanticador transforma una funci on proposicional en una proposici on, a la cual se le asigna un valor de verdad. E JEMPLO 5.1. Consideremos la funci on proposicional P (x): 2x es par. Entonces la proposici on n N, P (n) es decir, para todo n natural se cumple que 2 n es par, es equivalente a enunciar 2 1 es par y 2 2 es par y 2 3 es par y 2 4 es par y .... Por lo tanto esta proposici on ser a verdadera si todas las proposiciones P (n) son verdaderas, y ser a falsa si al menos una de ellas es falsa. E JEMPLO 5.2. Dada la funci on proposicional P (x): x es un n umero mayor que 1,

 DE CUANTIFICADORES 3. NEGACION

45

entonces la proposici on x N, P (x) nos est a enunciando que cualquiera sea el n umero natural x, se cumple que x es mayor que 1. Por lo tanto la proposici on es falsa ya que 1 es un n umero natural que no es mayor que 1, es decir, la proposici on P (1) es falsa. No importa que para todos los dem as valores de x la proposici on P (x) sea verdadera. Si aplicamos el cuanticador existencial y enunciamos x N | P (x), es equivalente a enunciar 1 es mayor que 1 o 2 es mayor que 1 o 3 es mayor que 1 o 4 es mayor que 1 o . . . y as siguiendo. Esta proposici on es verdadera, pues al menos existe un n umero natural, por ejemplo el 3, para el cual se cumple P (3) verdadero, es decir, 3 es mayor que 1. Si P (x) es una funci on proposicional, entonces la proposici on es verdadera si y s olo si P (a) es verdadera para todos los a A. Si P (x) es una funci on proposicional, entonces la proposici on es verdadera si y s olo si P (a) es verdadera para alg un a A. 3. Negaci on de cuanticadores La negaci on de una proposici on cuanticada es tambi en una proposici on, que a su vez puede verdadero para todo x. Su negaci on es una proposici on que es falsa siempre que p sea verdadera, y que es verdadera siempre que p sea falsa. es falsa si P (x) es verdadera para todos los valores de x. Dicho de otro modo, es verdadera si x. Luego Luego p es la proposici on que es verdadera si P (x) es falsa para alg un valor de x, y que describirse con un cuanticador. La proposici on p : (x)P (x) es verdadera si y s olo si P (x) es x A | P (x) x A, P (x)

P (x) es verdadera para alg un valor de x, es falsa si P (x) es falsa para todos los valores de (x, P (x)) x | P (x). Por ejemplo, la negaci on de la proposici on Todos los n umeros son positivos es: existe un

n umero que no es positivo.

46

5. CUANTIFICADORES

falsa para todo x, y falsa si P (x) es verdadera para alg un x. Equivalentemente, (x | P (x)) es verdadera si P (x) es verdadera para todo x, y es falsa si P (x) es falsa para alg un x. Luego (x | P (x)) x, P (x).

An alogamente, la negaci on de la proposici on x | P (x) ser a verdadera si y s olo si P (x) es

Por ejemplo, la negaci on de la proposici on Existe un n umero que es primo es la proposici on: Todos los n umeros cumplen que no son primos, o lo que coloquialmente es equivalente: Ning un n umero es primo.

4. Ejercicios 1. Para cada una de las siguientes proposiciones analice el valor de verdad de las mismas y escriba, en forma simb olica, su negaci on. Asuma que las variables toman valores en el conjunto de los n umeros reales. a) x, 3 x 2 = 4x + 1 c) x | x2 + x + 1 = 0 e) x | x2 + 1 0 i) x, x + x = 0

b) x, 3 x 2 = 4x + 1.
2

d ) x, (x 1) (x + 1) = x 1 f ) x, x2 + 3x + 2 = 0

k) x, (y, x + y = y + x) m) x R | x2 + x = 2 n ) x R, x n) x R,
9 8

j) x, (y | x2 + y 2 = (x + y )2 ) l) x | (y, x + y = 0) <x<
3 2 5 4

g) x | x = x

h) x | x3 +6x2 +11x +6 = (x +3) (x +1)

ox

8 5

2. Escriba las siguientes frases con notaci on l ogica y escriba tambi en sus negaciones. Cuando use cuanticadores especique los universos, utilice R si no se especica ning un universo: a) Para toda x > 0, existe n en N tal que n > x y x > 1/n. b) Para toda m, n N existe p en N tal que m < p y p < n. d ) Para cada n N existe m N tal que m < n. c) Existe u N tal que un = n para toda n N.

e) Para toda n N existe m N tal que 2m n y n < 2m+1 .

CAP TULO 6

OTROS CONECTIVOS
1. Condicional o implicaci on Otra forma de conectar dos proposiciones p y q es diciendo: si se cumple p entonces se cumple q, es decir por medio de una implicaci on. Este conectivo l ogico se llama condicional o implicaci on y se simboliza con . E JEMPLO 6.1. Supongamos que para regularizar cierta materia es necesario contar con el 80 % de asistencia. Entonces podemos conectar las proposiciones p: He regularizado la materia, q : He asistido al 80 % de las clases, con el conectivo condicional : p q : Si he regularizado la materia entonces he asistido al 80 % de las clases. se cumple la proposici on p. Tambi en decimos que p es el antecedente y q es el consecuente. El condicional es verdadero si el antecedente p es falso, o si el antecedente y el consecuente son ambos verdaderos. La implicaci on o condicional p q es falsa s olo si p es verdadera y q es falsa. La siguiente tabla corresponde a los valores de verdad de la implicaci on: p V V q V F pq V V V F La proposici on q en la implicaci on o condicional p q es lo que se arma que ocurre si

F V F F

para p. Es decir, es suciente que ocurra p para que ocurra q , y necesariamente ocurrir a q si ocurre p.

En una implicaci on p q , p es la condici on suciente para q y q es la condici on necesaria

A diferencia de los otros conectivos, la tabla de verdad del condicional no se condice con el uso que hacemos de este tipo de expresiones en el lenguaje natural. Por ejemplo, para el lenguaje cotidiano, la expresi on: Si llueve entonces Juan usa paraguas pareciera que indica que
47

48

6. OTROS CONECTIVOS

si no llueve entonces Juan no usa paraguas. Es decir, no ser a verdadera la proposici on si el antecedente es falso y el consecuente verdadero. Sin embargo, para la l ogica esto es verdadero. Si p q es una implicaci on, entonces q p es la rec proca, p q es la inversa y

q p es la contrarrec proca. Las tablas de verdad para q p, p q y q p son:

p V V

q V F

qp V V F V

p V V

q V F

p q V V F V

p V V

q V F

q p V V V F

F V F F

F V F F

F V F F

Observemos que los valores de verdad de una implicaci on p q y de su contrarrec proca equivalentes.

q p son los mismos para todos los valores de p y q posibles, es decir, son l ogicamente

Debemos notar que hay otras formas de expresar un condicional que no es necesariamente el si . . . entonces. Los siguientes ejemplos tambi en son condicionales de la forma p q : Viajo en taxi si estoy apurado. ( p : Estoy apurado, q : Viajo en taxi.) S olo si es s abado voy al cine. (p : Voy al cine, q : Es s abado.) Es suciente que llueva para que me quede en casa. (p : LLueva, q : Me quedo en casa.) 2. Bicondicional o doble implicaci on Una proposici on bicondicional ser a verdadera si y s olo si ambas proposiciones tienen el El bicondicional p q puede pensarse tambi en como la proposici on compuesta (p q ) (q p ). E JEMPLO 6.2. Supongamos que para aprobar un parcial de Algebra la nota debe ser mayor que 4. Entonces con las proposiciones simples p: Apruebo un parcial, q : La nota es mayor que 4, y el conectivo formamos la proposici on compuesta p q : Apruebo un parcial si y s olo si la nota es mayor que 4. mismo valor de verdad. El bicondicional entre p y q se simboliza p q y se lee p si y s olo si q .

3. ARGUMENTOS Y DEMOSTRACIONES

49

La siguiente tabla corresponde a la doble implicaci on p q : p V V q V F pq V F F V

F V F F

q ) (q p ).

Es un ejercicio sencillo comprobar que esta tabla coincide con la tabla de verdad de (p

3. Argumentos y demostraciones En las futuras clases de a lgebra, an alisis, y otras materias de nuestras carreras, veremos a menudo enunciados con el nombre de Teoremas, Lemas, Proposiciones, Corolarios, etc. Este tipo de enunciados arman que dadas ciertas hip otesis se cumple una conclusi on. Estos enunciados no son decretos ni leyes, sino que deben ser demostrados, y la demostraci on o prueba de los mismos hace uso de la l ogica. Por ejemplo, si armamos que si un n umero es m ultiplo de 4 entonces es m ultiplo de 2, esto tiene como hip otesis que cierto n umero es m ultiplo de 4, y como conclusi on que el n umero es m ultiplo de 2. Para demostrar que la conclusi on es cierta, se suelen usar uno de los siguientes caminos: la demostraci on directa o la demostraci on indirecta. La demostraci on directa es aquella que nos muestra que siempre que las hip otesis sean verdaderas se cumple que la conclusi on lo es. entonces n = (2 2) k , y por la asociatividad del producto resulta n = 2 (2 k ), es decir que n es m ultiplo de 2. En la demostraci on indirecta o demostraci on por el absurdo se hace uso del hecho que la implicaci on p q es l ogicamente equivalente a q p. Es decir, se demuestra que siempre probar que si n no es m ultiplo de 2 entonces tampoco es m ultiplo de 4. No es el objetivo de este curso aprender a probar o a demostrar, pero al menos dar una breve introducci on sobre qu e signica hacer la demostraci on o prueba de un teorema u otro enunciado, ya que muy pronto veremos muchos de estos casos y diversas formas de demostrar. Por ejemplo, en los ejercicios y futuros ex amenes, suelen aparecer preguntas del tipo: determine si el siguiente enunciado es verdadero o falso. Justique su respuesta dando una prueba o un contraejemplo, seg un corresponda. Qu e signica esto? que el consecuente es falso tambi en el antecedente lo es. As , en nuestro ejemplo, deber amos Por ejemplo, si un n umero n es m ultiplo de 4, es porque n = 4 k , para cierto entero k . Pero

50

6. OTROS CONECTIVOS

Justicar dando una prueba signica dar una demostraci on directa o indirecta de lo que queremos probar; es decir, argumentar que a partir de las hip o tesis y siguiendo un razonamiento l ogico se puede llegar a la conclusi on, o bien mostrar que si la conclusi on no es cierta entonces alguna de las hip otesis no se cumple. En cambio la justicaci on mediante un contraejemplo consiste en dar un ejemplo en el cual se cumplen las hip otesis pero no se cumple la conclusi on. Por ejemplo, ante la armaci on si un n umero es natural entonces es par, basta con notar que el n umero 3, que cumple con la hip otesis de ser natural, no es un n umero par. Este contraejemplo sirve para mostrar que la armaci on es falsa.

4.

Combinaci on de proposiciones con conectivos l ogicos

Utilizando los conectivos l ogicos estamos en condiciones de formar proposiciones compuestas. Si no tenemos el cuidado de hacer un uso adecuado de los par entesis podremos formar expresiones que son ambiguas e imposibles de interpretar. Por ejemplo (4.1) ppq r

posibilidades. Por lo tanto expresiones como (4.1) no son correctas y deben ser evitadas con un uso adecuado de par entesis. Sin embargo, el exceso de par e ntesis suele generar expresiones

puede ser interpretada como (p (p q )) r o como (p p) (q r ), o tambi en hay otras

largas y dif ciles de leer y, por lo tanto, se han creado reglas para eliminar algunos de ellos. Estas reglas son llamadas reglas de prioridad o de precedencia. Generalmente cada conectivo tiene una prioridad dada, y las conexiones con una prioridad m as alta introducen una uni on m as alta. Por ejemplo, la proposici on p q debe ser entendida como (p) q , y no como (p q ). En el caso de las conexiones binarias el orden de prioridades, de mayor a menor, es , , y . Pese a que la prioridad de es mayor que la de , suele no hacerse distinci on m as fuerte que las conexiones con una prioridad m as baja. La conexi on tiene la prioridad

entre ellos y escribir los par entesis correspondientes para evitar confusiones. Lo mismo puede

decirse de la relaci on entre y . Veamos ejemplos donde se aplica el uso de las prioridades: interpretada como (p (r )) (p q ). Pese a estas reglas algunas expresiones requieren el

p p q , debe ser interpretada como p (p q ). La expresi on p r p q , debe ser

uso de par entesis. Por ejemplo, la expresi on (4.1) es ambigua, y debe distinguirse si se trata de (p (p q )) r , o bien p ((p q ) r ).

5. EJERCICIOS

51

Ahora estamos en condiciones de evaluar el valor de verdad de cualquier proposici on compuesta teniendo en cuenta los valores de verdad de las proposiciones que la componen y los conectivos l ogicos. E JEMPLO 6.3. Dar la tabla de verdad para (p q ) [(q r ) (p r )]. p V V V V q V V r V F p q q r p r (q r ) (p r ) (p q ) [(q r ) (p r )] V V F F V V V V F F F F V F F V V V V V F V F 5. V V V V V F V V Ejercicios V V F F V F V V V

F V F F V F

F V F V

F F V F F F

1. Sean p, q , r las proposiciones siguientes: p: est a lloviendo q : el sol est a brillando r : hay nubes en el cielo. Traduzca lo siguiente a notaci on l ogica, utilizando p, q , r y conectivos l ogicos. a) Est a lloviendo y el Sol est a brillando. b) Si est a lloviendo , entonces hay nubes en el cielo. c) Si no est a lloviendo, entonces el Sol no est a brillando y hay nubes en el cielo. d ) El Sol est a brillando si y s olo si no est a lloviendo. e) Si no hay nubes en el cielo, entonces el Sol est a brillando. 2. Sean p, q y r como en el ejercicio anterior. Traduzca lo siguiente a oraciones en espa nol. a ) (p q ) r b ) (p (q r ) c) (p r ) q e) (p q ) r

d ) (p (q r ))

52

6. OTROS CONECTIVOS

3. Supongamos que todos los d as que llueve Juan usa paraguas. Cu ales de las siguientes proposiciones puedes asegurar que son verdaderas y cu ales no puedes asegurar? a) Si llueve entonces Juan usa paraguas. b) Si Juan usa paraguas entonces llueve. c) Si Juan no usa paraguas entonces no llueve. d ) Si no llueve entonces Juan no usa paraguas. e) Si no llueve entonces Juan usa paraguas. 4. Escriba la rec proca, la contrarrec proca y la inversa de cada una de las siguientes implicaciones: a) Si 4 es par entonces 1 > 0. b) 2 + 3 = 5 si 1 + 1 < 3. c) Si 4 es impar entonces 1 > 0. d ) Si 1 + 1 < 3 entonces 2 = 4. 5. Determine los valores de verdad de las siguientes proposiciones compuestas. a) Si 2 + 2 = 4 entonces 2 + 4 = 8. b) Si 2 + 2 = 5 entonces 2 + 4 = 8. c) Si 2 + 2 = 4 entonces 2 + 4 = 6. d ) Si 2 + 2 = 5 entonces 2 + 4 = 6. 6. Suponiendo que p q es falso, indica los valores de verdad para a) p q b) p q c) q p

7. Sabiendo que la proposici on compuesta (q ) (q p) es falsa, indique cu al es el valor de verdad de las proposiciones p y q . (p q ) (q p). dientes: a ) (p q ) b ) (p q ) 8. Indique para qu e valores de verdad de p y q resulta verdadera la proposici on compuesta 9. Para las siguientes proposiciones compuestas, elabore las tablas de verdad correspon-

d ) [(p q ) r ] (p q ) f ) (p q ) (r p )

c) (p q ) [(p q ) (p q )]

e) [(p q ) (p r )] ( q p)

g ) (p q ) ( p q ) (p q ) ( p q )