Está en la página 1de 55

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
5

7 7 9 15 19 19 20 22 23 25 27 27 28 32 35 35 36 36 38 38 39 39 40 43 43

INDICE GENERAL

2. 3. 4.

Cuanticadores Negaci on de cuanticadores Ejercicios

44 45 46 49 49 50 51 52 53

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

CAP TULO 1

BASICA TEORIA DE CONJUNTOS


Cualquier colecci on de objetos o individuos se denomina conjunto. El t ermino conjunto no tiene una denici on matem atica, 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 es una colecci on de elementos diferentes. Los objetos que integran un 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. 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 para designar a sus elementos. Si a es un elemento de un conjunto A se escribe a A y se lee 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.
7

1. TEOR IA BASICA DE CONJUNTOS

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 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.

2. SUBCONJUNTOS

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}. El conjunto vac o es un conjunto sin elementos. 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}.

10

1. TEOR IA BASICA DE CONJUNTOS

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. 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, y esta ecuaci on tiene exactamente como ra ces a 1 y 3. Por lo tanto tambi en es cierto que todo elemento de B es un elemento de A, es decir B A. Concluimos entonces que A = B . y 32 4 3 = 9 12 = 3.

2. SUBCONJUNTOS

11

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 B = {2, 4, 6, 8, 10}. de B : A B . o 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.
1

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

12

1. TEOR IA BASICA DE CONJUNTOS

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]. 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}. E JEMPLO 1.13. Si a = 2, y b = 3, entonces [2, 3) = {x | 2 x < 3}, y (2, 3] =

2. SUBCONJUNTOS

13

E JEMPLO 1.14. Si tomamos a = b, por ejemplo a = b = 5, el intervalo cerrado [5, 5] tiene un s olo elemento: [5, 5] = {x | 5 x 5} = {5}, y este conjunto se representa como un punto en la recta real.

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. E JEMPLO 1.16. Los elementos de los conjuntos X , Y y Z , X = {cuadrado, rect angulo, rombo}, Y = {tri angulo, hex agono}

y Z = { dec agono, ene agono, oct ogono, hept agono} 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 conjunto universal que se desee considerar. lo que tambi en podr a jarse U = Z. Por ello siempre debe dejarse expresado expl citamente el

como conjunto universal:

14

1. TEOR IA BASICA DE CONJUNTOS

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 denota 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.

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.

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.

3. EJERCICIOS

15

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. 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. Si B = {n | n N y n2 = 2}, entonces |B | = 0.

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. 3. Ejercicios

1. Dene por extensi on cada uno de los siguientes conjuntos, usando la notaci on . . . cuando sea necesario: a) {x | x es entero y 3 < x < 4} c) {x | (3x 1)(x + 2) = 0} 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}


2

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

16

1. TEOR IA BASICA DE CONJUNTOS

e) {x | 2x es entero positivo} 2. Enumera cinco elementos de cada uno de los siguientes conjuntos: a) {n | n es natural y n es divisible por 5}
1 b) { n | n es primo }

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: a) {n | n N y n2 = 9} b) {x | x R y x2 = 9}

c) {2n | n es natural}

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: a ) { z | z = 2x y x X } b) {z | z = x + y donde x e y son elementos de X } c) {z | z X o z X }

d ) {z | x = z + y donde x e y son elementos de X } e) {z | z es entero y z 2 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}}

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.

3. EJERCICIOS

17

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. 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}}

8. Representa en la recta real cada uno de los siguientes intervalos, y descr belos por comprensi on: a) [1, 5] b) (2, 4) c) [1, ) e) (2, 7] f ) [4, 0)

d ) (, 5]

9. 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}

10. 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 }

18

1. TEOR IA BASICA DE CONJUNTOS

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

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). 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 .
19

20

2. OPERACIONES ENTRE CONJUNTOS

U F IGURA 1. La uni on de los conjuntos A y B . 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

{1, 2, 3, 4, 5, 6, 7, 8, 9}.

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 }.

2. LA INTERSECCION

21

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} 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 .

22

2. OPERACIONES ENTRE CONJUNTOS

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 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.

de los n umeros naturales impares.

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

punto P .

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

4. DIFERENCIA

23

4. Sean A y B dos conjuntos.

Diferencia

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).

U F IGURA 4. Diferencia entre el conjunto A y el conjunto B . E JEMPLO 2.11. Z N = {n | n Z y n 0}. 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 )

24

2. OPERACIONES ENTRE CONJUNTOS

(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 } . {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 )c = Ac B c .

(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

25

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: a) A B c) A
c

b) A B

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

d) U c

e) B U
c

k ) (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 a) A B b) A C 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:

A C U a) A B

b) A B

d) A B C e) (A C )c

c) (A C ) B

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

f ) (A B ) C

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

26

2. OPERACIONES ENTRE CONJUNTOS

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) 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 e) [3, 0) (2, 3)

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)}
27

28

3. PRODUCTO CARTESIANO

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)}. 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)

la la correspondiente al elemento x de X contiene todos los pares ordenados de X Y cuyo 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 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

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

primera coordenada es x, mientras que la columna correspondiente al elemento y de Y contiene

es el n umero de elementos de A por el n umero de elementos de B

EN EJES CARTESIANOS 2. REPRESENTACION

29

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. y 6  P y
b (a, b) Eje de ordenadas

Eje de abscisas -

(0, 0)

F IGURA 1. Representaci on de puntos en ejes cartesianos

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}

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. y

n (4,2)
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

30

3. PRODUCTO CARTESIANO

Tambi en podemos gracar regiones del plano, como muestra la Figura 3, siendo R = {(x, y ) R R | 1 x 2, 1 y 1}.

y 1 11111111 00000000 00000000 11111111 00000000 11111111 00000000 11111111 00000000 11111111 00000000 11111111 00000000 11111111 1 11111111 000000002 00000000 11111111 00000000 11111111 00000000 11111111 1
F IGURA 3. Representaci on gr aca del conjunto R. 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 111111111111111111 000000000000000000 000000000000000000 111111111111111111 000000000000000000 111111111111111111 000000000000000000 111111111111111111 000000000000000000 111111111111111111 000000000000000000 111111111111111111 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

EN EJES CARTESIANOS 2. REPRESENTACION

31

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).

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

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}, ser a conveniente desplazar el origen en el eje de las x como muestra la Figura 6.

32

3. PRODUCTO CARTESIANO

y 10 0000 1111 5 (1005 ,0)

1111 0000 0000 1111 0000 1111 0000 1111 1010 1000 0000 1111 0000 1111 0000 1111 0000 1111 0000 1111 0000 1111 0000 1111

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. 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}

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

c) Para cada uno de los items anteriores, represente el conjunto en un diagrama de ejes cartesianos. 3. Dena por extensi on los subconjuntos de R R representados en la Figura 7:

3. EJERCICIOS

33

(0,0)

(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)

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

F IGURA 7 4. 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),

5. 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 5d . 6. 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)} 7. Considere los conjuntos: A = {(x, y ) | (x, y ) R2 , 2x y = 4},

34

3. PRODUCTO CARTESIANO

B = {(x, y ) | x + 3y = 9} y

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

C = {(x, y ) | (x, y ) R2 , y = 2x}.

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
35

36

4. LOGICA

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. 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 es 1-aria o unitaria. Los otros se aplican a dos proposiciones y se los llama 2-arios o binarios. la negaci on: , la conjunci on: , la disyunci on: , la disyunci on exclusiva: , la implicaci on:

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.

3. NEGACION

37

La negaci on es una operaci on unitaria que se aplica a una proposici on y tiene el efecto de revertir el valor de verdad. Esto es, si p es verdadera entonces p es falsa, y si p es falsa entonces p es verdadera. 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: 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.

38

4. LOGICA

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. 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 ave es verdadera pues es la conjunci on de dos proposiciones verdaderas. 5. Disyunci on son aves. Por otro lado la proposici on p q que dice algunas aves vuelan y el gato no es un

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

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.

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

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 : 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.

40

4. LOGICA

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 puede efectuarse operando (p q ) r o p (q r ). Es decir, la conjunci on y la disyunci on son operaciones asociativas. 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 indica que se efect ua primero p q y luego la disyunci on con r ; mientras que en la expresi on 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 , 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 ) Las siguientes propiedades pueden comprobarse construyendo las tablas de verdad corres-

b) p q

d ) p (q r )

8. EJERCICIOS

41

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 g) a < b c f) a b 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 g) a > b c f) a b

h) a < b c

i) a A B j) b A B l) d G
c

h) a b o b > c j ) b (A B ) c l) d G r : a < c. i) a Ac B c

k) c Ac

k) c A

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 on dado que su valor de verdad depender a del obtenemos una oraci on que no es una proposici 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 .
43

44

5. CUANTIFICADORES

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. 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 ....

DE CUANTIFICADORES 3. NEGACION

45

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, 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. 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)

46

5. CUANTIFICADORES

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

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. 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). 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. An alogamente, la negaci on de la proposici on x | P (x) ser a verdadera si y s olo si P (x) es

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) Por ejemplo, dada la proposici on (x), 3 x 2 = 4x + 1, la misma es verdadera puesto que para x = 3/7 se verica 3
3 7

b) x | x2 + x + 1 = 0 d ) x | x2 + 1 0 f ) x | x = x

y la negaci on de la proposici on es (x), 3 x 2 = 4x + 1.

2 = 4 3 + 1, 7

c) x, (x 1) (x + 1) = x2 1 e) x, x2 + 3x + 2 = 0

g) x | x3 + 6x2 + 11x + 6 = (x + 3) (x + 1) h) x, x + x = 0 i) x, (y | x2 + y 2 = (x + y )2 ) j) x, (y, x + y = y + x)

4. EJERCICIOS

47

k) x | (y, x + y = 0) 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.
49

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

50

6. OTROS CONECTIVOS

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 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

son:

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

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

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

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

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 mismo valor de verdad. El bicondicional entre p y q se simboliza p q y se lee p si y s olo si q . El bicondicional p q puede pensarse tambi en como la proposici on compuesta (p q ) (q p ).

3. ARGUMENTOS Y DEMOSTRACIONES

51

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. 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 Por ejemplo, si un n umero n es m ultiplo de 4, es porque n = 4 k , para cierto entero k . Pero

52

6. OTROS CONECTIVOS

que el consecuente es falso tambi en el antecedente lo es. As , en nuestro ejemplo, deber amos 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? 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

puede ser interpretada como (p (p q )) r o como (p p) (q r ), o tambi en hay otras 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 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 fuerte que las conexiones con una prioridad m as baja. La conexi on tiene la prioridad

5. EJERCICIOS

53

, , y . Pese a que la prioridad de es mayor que la de , suele no hacerse distinci on 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 )) r , o bien p ((p q ) r ). 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 V F V V 5. Ejercicios V V F F V F V V V V V V V F V F

(p q ). En el caso de las conexiones binarias el orden de prioridades, de mayor a menor, es

m as alta. Por ejemplo, la proposici on p q debe ser entendida como (p) q , y no como

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

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.

54

6. OTROS CONECTIVOS

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 ))

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.

5. EJERCICIOS

55

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 dientes: a ) (p q ) b ) (p q ) b) p q c) q p

7. 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 )