Está en la página 1de 17

FACULTAD DE CIENCIAS F ISICAS Y MATEMATICAS UNIVERSIDAD DE CHILE Introducci on al Algebra 08-1

SEMANA 1: LOGICA

Departamento de Ingenier a Matem atica - Universidad de Chile

Ingenier a Matem atica

Importante: Visita regularmente http://www.dim.uchile.cl/~algebra. Ah encontrar as las gu as de ejercicios y problemas, adem as de informaci on acerca de cu al ser a la din amica del curso.

1.

L ogica

La l ogica le proporciona a las matem aticas un lenguaje claro y un m etodo preciso para demostrar teoremas a partir de axiomas. Por ejemplo: axiomas de Euclides, deniciones, nociones primarias de geometr a cl asica + l ogica = teoremas de la geometr a euclidiana

Usa estas notas al margen para consultar de manera m as r apida el material. Haz tambi en tus propias anotaciones.

Un ejemplo de noci on primaria es la de punto. Un ejemplo de axioma es el que dice que por un punto ubicado fuera de una recta L pasa una y s olo una recta paralela a L. Sin la l ogica los axiomas ser an un mont on de verdades aceptadas, pero nada m as. La l ogica, sin embargo, les da sentido y permite concluir nueva verdades (teoremas) que antes no conoc amos. Un ejemplo de teorema: la suma de los angulos interiores de cualquier tri angulo siempre es de 180. Al ser la l ogica el punto de partida de las matem aticas, en ella se deben introducir nociones primarias tales como proposici on, valor de verdad, conectivo l ogico.

1.1.

Proposiciones y valor de verdad

Denici on 1.1 (Proposici on l ogica). Una proposici on debe interpretarse como un enunciado que siempre toma uno de los valores de verdad posibles: verdadero (V ) o falso (F ). Por ejemplo, en el contexto de la aritm etica, 2+1=5 corresponde efectivamente a una proposici on. M as a un, su valor de verdad es F . T picamente notaremos a las proposiciones con letras min usculas: p, q, r, etc.

Algunos ejemplos: Estoy estudiando ingenier a. 1 0. Est a lloviendo en Valdivia.

1.2.

Conectivos l ogicos

Los conectivos l ogicos sirven para construir nuevas proposiciones a partir de proposiciones ya conocidas. El valor de verdad de la nueva proposici on depender a del valor de verdad de las proposiciones que la forman. Esta dependencia se explicita a trav es de una tabla de verdad.

Denici on 1.2 (Negaci on). La proposici on p se lee no p y es aquella cuyo valor de verdad es siempre distinto al de p. Por ejemplo, la negaci on de mi hermano ya cumpli o quince a nos es mi hermano a un no cumple quince a nos. Esto se explicita a trav es de la siguiente tabla de verdad. p V F p F V

Denici on 1.3 (O l ogico o disyunci on). La proposici on p q se lee p o q . Decimos que p q es verdad, o que se tiene p q , cuando al menos una de las dos proposiciones, o bien p o bien q , es verdadera. Por ejemplo, la proposici on ma nana llover a o ma nana no llover a es verdadera. En otras palabras, tal como se aprecia en la siguiente tabla de verdad, si alguien arma que se tiene p q lo que nos est a diciendo es que nunca son simult aneamente falsas. p V V F F q V F V F pq V V V F

Denici on 1.4 (Y l ogico o conjunci on). La proposici on p q se lee p y q . Tal como se aprecia en la siguiente tabla de verdad, si alguien arma que se tiene p q , lo que nos est a diciendo es que ambas proposiciones son verdaderas. p V V F F q V F V F pq V F F F

Denici on 1.5 (Implicancia). Todos estaremos de acuerdo en considerar verdadera la proposici on si el se nor K est a en California entonces el se nor K est a en Estados Unidos. Por qu e? Porque a uno no le importa d onde est a el se nor K: podr a estar en Texas o en China. Lo u nico importante es que, si efectivamente est a en Californa, entonces podemos concluir, con esa sola informaci on, que est a en Estados Unidos. La proposici on p q se lee p implica q o si p entonces q . Para estudiar su valor de verdad nos debemos concentrar en el caso de que la hip otesis p sea verdadera. Ah tenemos que determinar si basta con esa informaci on para concluir que q es verdadera. En resumen: si alguien arma que se tiene p q , debemos concluir que si p es verdad entonces necesariamente q ser a verdad. Todo esto se explicita a trav es de la siguiente tabla. p V V F F q V F V F pq V F V V

Departamento de Ingenier a Matem atica - Universidad de Chile

Denici on 1.6 (Equivalencia). Decimos que la proposici on p es equivalente con la proposici on q (o que p si y s olo si q ), y escribimos p q , cuando basta con conocer el valor de verdad de una para saber el valor de verdad de la otra ya que este siempre es el mismo. Por ejemplo el paralel ogramo dibujado en la pared tiene todos sus a ngulos iguales es equivalente con la proposici on las diagonales del paralel ogramo dibujado en la pared miden lo mismo. O bien ambas son verdaderas o bien ambas son falsas. p V V F F q V F V F p q V F F V

1.3.

Tautolog as

Denici on 1.7 (Tautolog a). Una tautolog a es una proposici on que, sin importar el valor de verdad de las proposiciones que las constituyen, es siempre verdadera. Tres ejemplos bastante razonables: Ejemplos: pp p pq (p q ) (q p)

Demostraremos, desarrollando una tabla de verdad, que la primera proposici on es tautolog a. p V F p F V pp V V

Todas las tautolog as son equivalentes entre s y se pueden reemplazar por la proposici on alogo a lo que hacemos cuando reemplazamos el V . Por ejemplo (p p) V . Esto es an t ermino (x x) por el s mbolo 0. Denici on 1.8 (Contradicci on). As como existen las tautolog as existen las contradicciones. Son proposiciones siempre falsas.

Por ejemplo, p p. Son todas equivalentes a la proposici on F . Vamos a listar una serie de tautolog as de la forma A B . El uso que se les dar a es el siguiente. Cada vez que en una cierta proposici on aparezca la expresi on A, puede reemplazarse por B . Y viceversa. El lector debe demostrar la condici on de tautolog a de algunas de ellas usando tablas de verdad, como ejercicio.

Proposici on 1.1 (Tautolog as importantes).

Departamento de Ingenier a Matem atica - Universidad de Chile

1.

(p p) F (p p) V

(p V ) p (p V ) V

(p F ) F (p F ) p

2. Caracterizaci on de la implicancia. (p q ) (p q ) 3. Leyes de De Morgan. a (p q ) (p q ) b (p q ) (p q ) 4. Doble negaci on. p p 5. Conmutatividad. 5.1. (p q ) (q p) 5.2. (p q ) (q p) 6. Asociatividad. 6.1. (p (q r)) ((p q ) r) 6.2. (p (q r)) ((p q ) r) 7. Distributividad. 7.1. (p (q r)) ((p q ) (p r)) 7.2. (p (q r)) ((p q ) (p r)) 7.3. ((q r) p) ((q p) (r p)) 7.4. ((q r) p) ((q p) (r p))

1.3.1.

Cuatro tautolog as muy importantes

Estas cuatro tautolog as se prueban usando tablas de verdad. Son particularmente u tiles para demostrar teoremas. Cada una de ellas da lugar a una t ecnica de demostraci on: equivalencia dividida en dos partes, transitividad, contrarrec proca, reducci on al absurdo. En las partes que siguen ilustraremos el uso de estas t ecnicas. Ver as este s mbolo cada vez que lo hagamos.

Proposici on 1.2. 1. Equivalencia dividida en dos partes. (p q ) (p q q p)

Departamento de Ingenier a Matem atica - Universidad de Chile

2. Transitividad. ((p q ) (q r)) (p r) 3. Contrarrec proca. (p q ) (q p) 4. Reducci on al absurdo. (p q ) (p q )

1.3.2.

Vericaci on simb olica y exploratoria

Cuando queremos vericar de manera simb olica que cierta proposici on es tautolog a evitaremos usar tablas de verdad y s olo nos permitiremos usar (como conocidas) las tautolog as b asicas que aparecen en las secciones anteriores. Demostremos de manera simb olica entonces que: En efecto: (p q ) (p q ) (p q ) (p q ) (p q ) (q p) (p q ) (q p) [(p q ) q ] [(p q ) p] [(p q ) (q q )] [(p p) (q p)] [(p q ) F ] [F (q p)] (p q ) (p q )

En las demostraciones exploratorias se acepta explorar la tabla de verdad deshechando los casos f aciles. Demostremos, exploratoriamente, que la siguiente proposici on es tautolog a. [(p q ) (r q )] (p r ) Vamos a asumir que tanto (p q ) como (r q ) son verdaderas. Es decir, nos ocupamos s olo del caso en que la hip otesis es verdadera. Lo que debemos hacer es concluir que (p r ) es verdadera. Caso 1. p es falsa. Este caso es f acil: obviamente se tiene que (p r) es verdadera.

Caso 2. p es verdadera. Como asumimos que (p q ) es verdadera, se tiene que tener q falsa. Como (r q ) se asume verdadera y como q es falsa, r tiene que ser falsa. Por lo tanto, como r es falsa, se tiene que (p r ) es verdadera.

1.4.

Funci on proposicional y cuanticadores

Denici on 1.9 (Funci on proposicional). Una funci on proposicional p es una expresi on descrita en funci on de alg un par ametro x que satisface lo siguiente: cada vez que x se reemplaza por una cadena de s mbolos, p(x) se transforma en una proposici on.

Ejemplos:

Departamento de Ingenier a Matem atica - Universidad de Chile

p(x) = x es un jugador de f utbol es una funci on proposicional. Notar que p(Marcelo Salas) es verdadera mientras que p(Nicol as Massu) es falsa.

q (x) = x 5 0, tambi en es una funci on proposicional. q (2) es verdadera, pero q (6) es falsa.

Observaci on: En adelante, usaremos p(x) de dos formas distintas:

Para referirnos a la funci on proposicional misma y mostrar que x es la variable que reemplazamos por cadenas de s mbolos para obtener proposiciones l ogicas.

Para referirnos, cuando x es algo en particular, a la proposici on que se forma de haber hecho el reemplazo en la funci on proposicional. 1.4.1. Cuanticador universal

Denici on 1.10 (Cuanticador universal). La proposici on (x)p(x), que se lee para todo x p(x), es verdadera siempre y cuando p(x) sea verdadera para cualquier cadena de s mbolos que se reemplace en x. Veamos un ejemplo: Ejemplo:

Usando el ejemplo anterior, p(x) = x es un jugador de f utbol, ser a verdadera (x)p(x). Claramente, como vimos que p(Nicol as Massu) es falsa, no es cierto que al reemplazar x por cualquier cadena de s mbolos lo resultante sea una proposici on verdadera. Luego (x)p(x) es falsa.

A continuaci on veamos ejemplos de proposiciones construidas usando el cuanticador universal y c omo se verica la veracidad de dichas proposiciones. Ejemplo: (x)(p(x) p(x)) es verdadera. Veriquemos que es verdadera, por pasos. Sea x arbitrario (este es el modo en que se considera el x). p.d.q (por demostrar que): p(x) p(x) es verdadera. En efecto: Caso 1. p(x) es verdadera. Como V p(x) es verdadera, se concluye. 6

Departamento de Ingenier a Matem atica - Universidad de Chile

Caso 2. p(x) es falsa. En este caso p(x) es verdadera. Como (F V ) V , se concluye. (x)[p(x) (p(x) q (x))] es verdadera. Demostr emoslo. Sea x arbitrario Hip otesis: p(x) es verdadera. p.d.q: p(x) q (x) es verdadera.

En efecto: como p(x) es verdadera, usamos que V q (x) es verdadera para concluir. [(x)p(x) (x)q (x)] [(x)(p(x) q (x)] es verdadera. Hip otesis: (x)p(x) (x)q (x) es verdadera p.d.q: (x)(p(x) q (x)) es verdadera En efecto: sea x arbitrario. Caso 1. p(x) es verdadera. En este caso (p(x) q (x)) es verdadera.

Caso 2. p(x) es falsa. En este caso, por hip otesis, q (x) tiene que ser verdadera. Se deduce que (p(x) q (x)) es verdadera.

1.4.2.

Cuanticador existencial

Denici on 1.11 (Cuanticador existencial). La proposici on (x)p(x), que se lee existe x, tal que p(x), es verdadera cuando se puede encontrar por lo menos una cadena de s mbolos que hace p(x) verdadero.

Ejemplo:

Retomando el ejemplo anterior, con p(x) = x es un jugador de f utbol. Se tendr a que (x)p(x)?.

Tenemos que hay al menos un x que hace a p(x) verdadera, por ejemplo x = Mat as Fern andez cumple claramente que p(Mat as Fern andez) es verdadera. As , (x)p(x) es verdadera.

1.4.3.

Relaci on entre cuanticadores

A continuaci on veremos la relaci on que existe entre los dos cuanticadores antes denidos. Dicha relaci on se debe a la negaci on. Resulta que (x)p(x) es falsa si y s olo si p(x) no es verdadera para ninguna cadena de s mbolos x, es decir, si y s olo si (x)p(x) es verdadera. As , hemos hallado la

Departamento de Ingenier a Matem atica - Universidad de Chile

Proposici on 1.3 (Negaci on del cuanticador existencial). La siguiente proposici on es una tautolog a (x)p(x) (x)p(x).

1.4.4.

Existencia y unicidad

Hay un cuanticador m as que se utiliza con frecuencia:

Denici on 1.12 (Existencia y unicidad). La proposici on (!x)p(x), que se lee existe un u nico x tal que p(x), es verdadera cuando hay exactamente una cadena de s mbolos hace verdadero p(x). Un ejemplo: Ejemplo:

Nuevamente, considerando nuestra funci on proposicional p(x) = x es un jugador de f utbol. Cu al ser a el valor de verdad de (!x)p(x)? Podemos notar que tanto x1 = Marcelo Salas y x2 = Mat as Fern andez hacen que p(x) sea verdadera. Es decir, si bien existe un x que hace a p(x) verdadera, no es u nico. As , (!x)p(x) es falsa.

Observaci on: Notemos que ! no es un cuanticador nuevo, en el sentido de que puede ser denido en funci on de los dos cuanticadores anteriores. Es decir la siguiente proposici on es verdadera. (!x)p(x) [(x)p(x)] [(x)(y )((p(x) p(y )) (x = y ))]
Existencia Unicidad

Ejemplo importante: Equivalencia dividida en dos partes

Veremos ahora una t ecnica de demostraci on que se basa en una de las tautolog as importantes que vimos antes. Supongamos que queremos demostrar que (x)(p(x) q (x)) [(x)p(x) (x)q (x)]
p q

es verdadera. Lo que haremos es usar la Tautolog a 1, (p q ) ((p q ) (q p)).

En donde el rol de p y q est a descrito arriba. Esta nos permite dividir la demostraci on en dos partes, ya que en lugar de vericar que (p q ) es verdadera, podemos vericar que (p q ) (q p) es verdadera. Esto, a su vez lo hacemos vericando que (p q ) es verdadera y luego que (q p) tambi en lo es. 8

Departamento de Ingenier a Matem atica - Universidad de Chile

) Hip otesis: (x)(p(x) q (x)) es verdadera. p.d.q: (x)p(x) (x)q (x) es verdadera.

En efecto: Sea x arbitrario. Por hip otesis se tiene tanto p(x) como q (x) son verdaderas. En particular p(x) lo es. Es decir, probamos que (x)p(x) es verdadera. An alogamente se tiene que tambi en (x)q (x) es verdadera. ) Hip otesis: (x)p(x) (x)q (x) es verdadera. p.d.q: (x)(p(x) q (x)) es verdadera. En efecto: Sea x0 arbitrario. Como por hip otesis (x)p(x)) es verdadera se tiene que p(x0 ) es verdadera. Como por hip otesis (x)q (x) es verdadera se tiene q (x0 ) tambi en lo es.

Observaci on: Convenciones en el desarrollo de un argumento En la demostraci on anterior la expresi on ... es verdadera ... aparece una gran cantidad de veces. Por ejemplo en Hip otesis: (x)(p(x) q (x)) es verdadera. p.d.q: (x)p(x) (x)q (x) es verdadera.

Esto no siempre es necesario pues se subentiende que al decir que la hip otesis es p estamos asumiendo que p es verdadera. Del mismo modo, si declaramos que queremos demostrar q se subentiende que deseamos demostrar que q es verdadera. Tambi en es posible que despu es de un razonamiento lleguemos a la conclusi on que r es verdadera. Esto suele indicarse con expresiones del tipo se tiene r o y entonces r. Tomando estas convenciones la u ltima parte del desarrollo anterior queda como sigue. Hip otesis: (x)p(x) (x)q (x) p.d.q: (x)(p(x) q (x))

En efecto: Sea x0 arbitrario. Como por hip otesis (x)p(x), se tiene p(x0 ). Como por hip otesis (x)q (x), se tiene q (x0 ).

Departamento de Ingenier a Matem atica - Universidad de Chile

Ingenier a Matem atica


FACULTAD DE CIENCIAS F ISICAS Y MATEMATICAS UNIVERSIDAD DE CHILE Introducci on al Algebra 08-1

Gu a B asica Determinar la veracidad de las siguientes armaciones: 1. 2. 3. 4. 5. 6. p. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17. 18. Si p es falsa, entonces la proposici on p q es siempre falsa. La proposici on p q es verdadera cuando p y q no son simult aneamente falsas. 25-11 no corresponde a una proposici on l ogica. Podr as venir ma nana? es una proposici on l ogica.

x 11 corresponde a una proposici on l ogica, si se reemplaza x por un n umero. 25 11 0 corresponde a una proposici on l ogica. El valor de verdad de la proposici on p es siempre distinto al de p.

Existen proposiciones l ogicas p tales que p tiene el mismo valor de verdad que el de

La proposici on p q es verdadera cuando al menos una de las proposiciones p o q es verdadera. La proposici on p q es falsa s olo si p y q son falsas.

Existe una proposici on l ogica p tal que p q es siempre verdadera, sin importar el valor de verdad de q . Basta que p sea falsa, para que la proposici on p q sea siempre falsa.

Si una proposici on compuesta es tautolog a, sin importar el valor de verdad de las proposiciones que la constituyen, es verdadera. Dada una proposici on compuesta p, si existe una asignaci on de valores de verdad para las proposiciones que la constituyen que la haga verdadera, entonces p es una tautolog a. Una tautolog a cualquiera q , es siempre equivalente a la proposici o n p p.

El valor de verdad de la proposici on p p es siempre el mismo, sin importar el valor de verdad de p. Existe un valor de verdad para p, tal que la proposici on p p es falsa. El valor de verdad de la proposici on (p q ) (p q ) puede ser falso. 10

Departamento de Ingenier a Matem atica - Universidad de Chile

19. 20. 21. 22. 23. 24. 25. 26. 27. 28. 29. 30. 31. 32. 33. 34. 35. 36. 37. es. 38. 39. 40. 41. 42.

La negaci on de la proposici on p q es p q. La negaci on de la proposici on p q es p q. La negaci on de la proposici on p q es p q . La proposici on (p q ) r es equivalente a la proposici on (p r) (q r).

La proposici on (p q ) r siempre tiene el mismo valor de verdad que la proposici on (r q ) p. La proposici on (p q ) r siempre tiene el mismo valor de verdad que la proposici on (p r) (q r). La proposici on (p q ) p es verdadera s olo cuando q es verdadera. La proposici on (p q ) p es verdadera si p es verdadera. Si la proposici on (p q ) p es falsa, necesariamente q es falsa. La proposici on p F es siempre falsa. La proposici on p p es siempre falsa. La proposici on p q es siempre verdadera si el valor de verdad de p es falso.

Si la proposici on p q es verdadera y p tambi en lo es, necesariamente q es verdadera. Si la proposici on p (q r) es verdadera y p tambi en lo es, necesariamente r es verdadera.

Si la proposici on (p q ) r es falsa y p es verdadera, necesariamente q es verdadera. La proposici on p V tiene siempre el mismo valor de verdad que p. La proposici on p F es equivalente a la proposici on p F. La proposici on (p q ) (p q ) es una tautolog a.

Si la proposici on ((r p) (p q )) es verdadera, la proposici on r q tambi en lo La proposici on (( qp ) (q r)) ( rp ) es una tautolog a. La proposici on (p q ) ( pq ) es tautolog a. La negaci on de la proposici on p q es (p q ). La negaci on de la proposici on p q es p q.

La proposici on cuanticada (x)p(x) es verdadera si p(x) es verdadera para cualquier elemento por el que se reemplace x.

11

Departamento de Ingenier a Matem atica - Universidad de Chile

43. 44. 45. 46. 47. 48. 49. 50.

Si la proposici on (x)p(x) es verdadera, entonces la proposici on (x)p(x) es tambi en verdadera. Si q (x) es una funci on proposicional y x0 es tal que q (x0 ) es verdadera, entonces la proposici on cuanticada (x)q (x) es verdadera.

Es siempre cierto que si la proposici on (x)p(x) es verdadera, entonces la proposici on (!x)p(x) es verdadera. Si p(x) es una funci on proposicional y x0 es tal que p(x0 ) es falsa, entonces la proposici on cuanticada (x)p(x) es falsa.

Si las proposiciones (x)p(x) y (x)q (x) son verdaderas, entonces la proposici on (x)(p(x) q (x)) es verdadera. Si la proposici on (x)(p(x) q (x)) es verdadera, entonces la proposici on (x)p(x) (x)q (x) es verdadera. Si la proposici on (x)p(x) (x)q (x) es verdadera, entonces la proposici on (x)(p(x) q (x)) es verdadera.

La negaci on de la proposici on (!)p(x) es ((x)p(x)) ((x)(y )(x = y (p(x) p(y ))).

12

Departamento de Ingenier a Matem atica - Universidad de Chile

Ingenier a Matem atica


FACULTAD DE CIENCIAS F ISICAS Y MATEMATICAS UNIVERSIDAD DE CHILE Introducci on al Algebra 08-1

Gu a de Ejercicios

1. Demuestre usando tablas de verdad que las siguientes proposiciones vistas en la tutor a, son tautolog as: (a) (p p) V . (b) (p q ) (p q ). (c) (p q ) (p q ). (d) ((q r) p) (q p) (r p).

2. Escriba las siguientes proposiciones l ogicas, de manera equivalente, s olo usando los conectivos l ogicos de implicancia () y negaci on (): (a) p q (b) p (q r) (c) ((p q ) r) (r q ) (d) (p q ) (p r )

olo el conectivo |, proposiciones 3. Se dene el conectivo l ogico p|q p q . Escriba usando s equivalentes a las siguientes: (a) p (b) p q (c) p q (d) p q

4. Sean p, q, r proposiciones l ogicas. Demostrar usando tablas de verdad que las siguientes proposiciones son tautolog as: (a) p (p q ) (b) (p q ) (p q ) (p q ) (c) [(p q ) (q r)] (p r) (d) (p q ) (p q ) (e) [p q p] (p q )

13

Departamento de Ingenier a Matem atica - Universidad de Chile

5. Sean p, q, r proposiciones l ogicas. Demostrar sin usar tablas de verdad que las siguientes proposiciones son tautolog as: (a) [(p q ) (r q ) r] p (b) [p (p q )] q (c) [(p q ) p] (p q ) (d) (p q r) (p r q ) (e) (p q ) [(p q ) (p q )]

6. En cada caso, con la informaci on entregada, determine el valor de verdad de la proposici on r: (a) r q es falsa. (b) q r es falsa. (c) p (q r) es falsa. (d) r q es verdadera y (p q ) s es falsa (e) (r p) (p q ) es verdadera y q es verdadera.

7. Sean p(x), q (x) funciones proposicionales. Determinar la negaci on de las siguientes proposiciones cuanticadas: (a) (x)(y )(p(x) q (y )) (b) (x)(y )(p(x) q (y )) (c) (!x)p(x) (d) (x)[q (x) (y )p(y )] (e) (x)(y )(p(x) q (y ))

14

Departamento de Ingenier a Matem atica - Universidad de Chile

Ingenier a Matem atica


FACULTAD DE CIENCIAS F ISICAS Y MATEMATICAS UNIVERSIDAD DE CHILE Introducci on al Algebra 08-1

Gu a de Problemas

La presente gu a le permitir a tener una idea bastante precisa del tipo de problemas que debe ser capaz de resolver en una evaluaci on y el tiempo promedio que deber a demorar en resolverlos. En total deber a poder resolverla en 3 horas. Le recomendamos que trabaje en ella una hora antes de la clase de trabajo dirigido, que resuelva sus dudas en la clase de trabajo dirigido y que luego dedique una hora a escribir con detalles las soluciones.

P1. Sean p, q, r proposiciones. Probar sin usar tablas de verdad que la proposici on presentada en cada item es una tautolog a. Trate de aprovechar la forma que tiene cada proposici on, usualmente el hecho de que sea una implicancia. (a) (20 min.) (p q p r) ((q p) (p r)). (b) (20 min.) (p q ) (r q ) (p r ). (c) (20 min.) (p q ) [(q r) (p r)]. (d) (20 min.) [(p q ) (r q ) r] p.

P2. En esta parte, dada una hip otesis (una proposici on que se sabe es verdadera), deber a estudiar el valor de verdad de otra proposici on. (a) (20 min.) Sean p, q, r proposiciones. Averiguar si la equivalencia p (q r) (p r) q puede ser verdadera sin que lo sea la implicancia p q . Es decir, use la informaci on de la hip otesis para sacar conclusiones de los valores de verdad de las proposiciones involucradas.

(b) (25 min.) Determine el valor de verdad de las proposiciones p, q, r y s si se sabe que la siguiente proposici on es verdadera. [s (r r )] [(p q ) s r ].

(c) (25 min.) Sean p, q, r, s proposiciones que satisfacen que la siguiente proposici on es verdadera: (q es verdadera) [(p q ) no es equivalente con (r s)]. Demuestre que el valor de verdad de la proposici on: [(p r) (q s)] [p (r s)]

es verdadero para todas las combinaciones de valores veritativos que cumplen la hip otesis.

15

Departamento de Ingenier a Matem atica - Universidad de Chile

P3. Sean las proposiciones r y s siguientes: r : (x)(p(x) q ) s : ((x)p(x)) q

es la diferencia entre ambas. Piense en qu e dice cada una en t erminos intuitivos y cuAl (a) (10 min.) Niegue ambas proposiciones, r y s.

(b) (20 min.) De las dos implicancias, (r s) y (s r) determine la que corresponde a una tautolog a. Justique su elecci on.

16

Departamento de Ingenier a Matem atica - Universidad de Chile

Ingenier a Matem atica


FACULTAD DE CIENCIAS F ISICAS Y MATEMATICAS UNIVERSIDAD DE CHILE Introducci on al Algebra 08-1

SEMANA 2: CONJUNTOS

Departamento de Ingenier a Matem atica - Universidad de Chile

Importante: Visita regularmente http://www.dim.uchile.cl/~algebra. Ah encontrar as las gu as de ejercicios y problemas, adem as de informaci on acerca de cu al ser a la din amica del curso.

2.
2.1.

Conjuntos
Introducci on

Usa estas notas al margen para consultar de manera m as r apida el material. Haz tambi en tus propias anotaciones.

La teor a de conjuntos gira en torno a la funci on proposicional x A. Los valores que hacen verdadera la funci on proposicional x A son aquellos elementos que forman el conjunto A. La funci on proposicional x A se lee x pertenece a A. Su negaci on, que se denota x / A, se lee x no pertenece a A. Ejemplo:

Si queremos que el conjunto A sea el de los n umeros primos menores que 10 entonces tendr amos que denirlo formalmente as : (x)[(x A) (x = 2 x = 3 x = 5 x = 7)].

Los conjuntos nitos son f aciles de denir. De hecho, acabamos de mostrar c omo se dene el conjunto que se se denota por extensi on A = {2, 3, 5, 7}. La axiom atica de la teor a de conjuntos (que aqu no se estudiar a) permite asumir la existencia de un conjunto innito muy importante: el de los naturales = {0, 1, 2, 3, . . .}.

2.1.1.

Algunos ejemplos de conjuntos

En matem aticas se construyen nuevos conjuntos a partir de conjuntos ya conocidos. Supongamos que ya conocemos el conjunto A. Podemos introducir, B = {x A|p(x)}. Lo que en el fondo estamos deniendo es la funci on proposicional x B as : (x)[(x B ) (x A p(x))] Por ejemplo, el conjunto de m ultiplos de 7 es el conjunto {x

|( x 7 ) }.

Otros ejemplos de conjuntos, con los cuales el lector ya debe estar familiarizado: Ejemplos: 1. Los reales

.
. q q =0x= p q )}.

2. Los enteros

= {x | (p)(q)(p 4. Los irracionales c = {x | x / }.


3. Los racionales 17