Sei sulla pagina 1di 16

1.

Lgica o

La lgica le proporciona a las matemticas un lenguaje claro y un mtodo preciso para o a e demostrar teoremas a partir de axiomas. Por ejemplo: axiomas de Euclides, deniciones, nociones primarias de geometr clsica a a + lgica o = teoremas de la geometr euclidiana a

Por ejemplo, en el contexto de la aritmtica, 2+1=5 corresponde efectivamente a una e proposicin. Ms a n, su valor de verdad es F . o a u T picamente notaremos a las proposiciones con letras min sculas: p, q, r, etc. u

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

1.2.

Conectivos lgicos o

Los conectivos lgicos sirven para construir nuevas proposiciones a partir de proposiciones o ya conocidas. El valor de verdad de la nueva proposicin depender del valor de verdad o a de las proposiciones que la forman. Esta dependencia se explicita a travs de una tabla de e verdad.

Denicin 1.1 (Proposicin lgica). Una proposicin debe interpretarse como un enuno o o o ciado que siempre toma uno de los valores de verdad posibles: verdadero (V ) o falso (F ).

.M at

em

1.1.

Proposiciones y valor de verdad

at

ic a1

Un ejemplo de nocin primaria es la de punto. Un ejemplo de axioma es el que dice que por o un punto ubicado fuera de una recta L pasa una y slo una recta paralela a L. o Sin la lgica los axiomas ser un montn de verdades aceptadas, pero nada ms. La o an o a lgica, sin embargo, les da sentido y permite concluir nueva verdades (teoremas) que antes no o conoc amos. Un ejemplo de teorema: la suma de los ngulos interiores de cualquier tringulo a a siempre es de 180. Al ser la lgica el punto de partida de las matemticas, en ella se deben introducir nociones o a primarias tales como proposicin, valor de verdad, conectivo lgico. o o

epartamento de Ingenier Matemtica - Universidad de a a

SEMANA 1: LOGICA

Usa estas notas al margen para consultar de manera ms rpida el maa a terial. Haz tambin tus propias e anotaciones.

.c

om

Denicin 1.2 (Negacin). La proposicin p se lee no p y es aquella cuyo valor de o o o verdad es siempre distinto al de p. Por ejemplo, la negacin de mi hermano ya cumpli o o quince a os es mi hermano an no cumple quince a os. Esto se explicita a travs de la n u n e siguiente tabla de verdad. p V F p F V

Denicin 1.3 (O lgico o disyuncin). La proposicin pq se lee p o q. Decimos que o o o o pq es verdad, o que se tiene pq, cuando al menos una de las dos proposiciones, o bien p o bien q, es verdadera. Por ejemplo, la proposicin ma ana llover o ma ana no llover es o n a n a 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 diciendo es que nunca son simultneamente falsas. a a p V V F F q V F V F pq V V V F

em

p V V F F

q V F V F

Denicin 1.5 (Implicancia). Todos estaremos de acuerdo en considerar verdadera la o proposicin si el se or K est en California entonces el se or K est en Estados Unidos. o n a n a Por qu? e Porque a uno no le importa dnde est el se or K: podra estar en Texas o en China. Lo o a n unico importante es que, si efectivamente est en Californa, entonces podemos concluir, a con esa sola informacin, que est en Estados Unidos. o a La proposicin p q se lee p implica q o si p entonces q. Para estudiar su valor de o verdad nos debemos concentrar en el caso de que la hiptesis p sea verdadera. Ah tenemos o que determinar si basta con esa informacin para concluir que q es verdadera. En resuo men: si alguien arma que se tiene p q, debemos concluir que si p es verdad entonces necesariamente q ser verdad. Todo esto se explicita a travs de la siguiente tabla. a e p V V F F q V F V F pq V F V V

w w

.M

at

at

ic

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

epartamento de Ingenier Matemtica - Universidad de C a a

a1

.c

om

Denicin 1.6 (Equivalencia). Decimos que la proposicin p es equivalente con la proo o posicin q (o que p si y slo si q), y escribimos p q, cuando basta con conocer el o o valor de verdad de una para saber el valor de verdad de la otra ya que ste siempre es el e mismo. Por ejemplo el paralelgramo dibujado en la pared tiene todos sus ngulos iguales es equio a valente con la proposicin las diagonales del paralelgramo dibujado en la pared miden lo o o 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

Denicin 1.7 (Tautolog o a). Una tautologa es una proposicin que, sin importar el valor o de verdad de las proposiciones que las constituyen, es siempre verdadera. Tres ejemplos bastante razonables:

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

Todas las tautolog son equivalentes entre s y se pueden reemplazar por la proposicin as o a V . Por ejemplo (p p) V . Esto es anlogo a lo que hacemos cuando reemplazamos el trmino (x x) por el s e mbolo 0. Denicin 1.8 (Contradiccin). As como existen las tautologas existen las contradico o ciones. Son proposiciones siempre falsas.

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

Proposicin 1.1 (Tautolog importantes). o as

pp p pq (p q) (q p)

.M

at e

at

ic

a1 .c

om

Ejemplos:

epartamento de Ingenier Matemtica - Universidad de C a a

1.

(p p) F (p p) V

(p V ) p (p V ) V

(p F ) F (p F ) p

2. Caracterizacin de la implicancia. (p q) (p q) o 3. Leyes de De Morgan. a (p q) (p q) b (p q) (p q) 4. Doble negacin. p p o 5. Conmutatividad. 5.1. (p q) (q p) 6. Asociatividad. 6.1. (p (q r)) ((p q) r) 7. Distributividad.

5.2. (p q) (q p)

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 muy importantes as

Estas cuatro tautolog se prueban usando tablas de verdad. Son particularmente utiles as para demostrar teoremas. Cada una de ellas da lugar a una tcnica de demostracin: equivalencia dividida en dos e o partes, transitividad, contrarrec proca, reduccin al absurdo. En las partes que siguen iluso traremos el uso de estas tcnicas. Vers este s e a mbolo cada vez que lo hagamos.

7.1. (p (q r)) ((p q) (p r))

.M

at

em

at

ic

a1

6.2. (p (q r)) ((p q) r)

Proposicin 1.2. o 1. Equivalencia dividida en dos partes. (p q) (p q q p)

epartamento de Ingenier Matemtica - Universidad de C a a

.c

om

2. Transitividad. ((p q) (q r)) (p r) 3. Contrarrecproca. (p q) (q p) 4. Reduccin al absurdo. (p q) (p q) o

1.3.2.

Vericacin simblica y exploratoria o o

Cuando queremos vericar de manera simblica que cierta proposicin es tautolog evitao o a remos usar tablas de verdad y slo nos permitiremos usar (como conocidas) las tautolog o as bsicas que aparecen en las secciones anteriores. Demostremos de manera simblica entonces a o 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)

[(p q) (r q)] (p r) Vamos a asumir que tanto (p q) como (r q) son verdaderas. Es decir, nos ocupamos slo del caso en que la hiptesis es verdadera. Lo que debemos hacer es concluir que o o (p r) es verdadera. Caso 1. p es falsa. Este caso es fcil: obviamente se tiene que (p r) es verdadera. a

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.

Funcin proposicional y cuanticadores o

Denicin 1.9 (Funcin proposicional). Una funcin proposicional p es una expresin o o o o descrita en funcin de algn parmetro x que satisface lo siguiente: cada vez que x se o u a reemplaza por una cadena de smbolos, p(x) se transforma en una proposicin. o

Ejemplos:

.M

at

En las demostraciones exploratorias se acepta explorar la tabla de verdad deshechando los casos fciles. Demostremos, exploratoriamente, que la siguiente proposicin es tautolog a o a.

partamento de Ingenier Matemtica - Universidad de C a a

em

at ic a1

.c om

p(x) = x es un jugador de f tbol es una funcin proposicional. Notar que u o p(Marcelo Salas) es verdadera mientras que p(Nicols Massu) es falsa. a q(x) = x 5 0, tambin es una funcin proposicional. q(2) es verdadera, pero e o q(6) es falsa.

Observacin: En adelante, usaremos p(x) de dos formas distintas: o

Para referirnos a la funcin proposicional misma y mostrar que x es la variable que o reemplazamos por cadenas de s mbolos para obtener proposiciones lgicas. o

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

Denicin 1.10 (Cuanticador universal). La proposicin (x)p(x), que se lee para o o todo x p(x), es verdadera siempre y cuando p(x) sea verdadera para cualquier cadena de smbolos que se reemplace en x. Veamos un ejemplo: Ejemplo:

Usando el ejemplo anterior, p(x) = x es un jugador de f tbol, ser verdadera u a (x)p(x). Claramente, como vimos que p(Nicols Massu) es falsa, no es cierto que al rea emplazar x por cualquier cadena de s mbolos lo resultante sea una proposicin o verdadera. Luego (x)p(x) es falsa.

A continuacin veamos ejemplos de proposiciones construidas usando el cuanticador unio versal y cmo se verica la veracidad de dichas proposiciones. o Ejemplo: (x)(p(x) p(x)) es verdadera. Veriquemos que es verdadera, por pasos. p.d.q (por demostrar que): p(x) p(x) es verdadera.

Sea x arbitrario (este es el modo en que se considera el x). En efecto:

Caso 1. p(x) es verdadera. Como V p(x) es verdadera, se concluye.

partamento de Ingenier Matemtica - Universidad de C a a

w w

w .M

at

em

at ic

a1

.c o

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. Demostrmoslo. e Sea x arbitrario Hiptesis: p(x) es verdadera. o 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. Hiptesis: (x)p(x) (x)q(x) es verdadera o 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 hiptesis, q(x) tiene que ser verdadera. o Se deduce que (p(x) q(x)) es verdadera.

Ejemplo:

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

Tenemos que hay al menos un x que hace a p(x) verdadera, por ejemplo x = Matas Fernndez cumple claramente que p(Matas Fernndez) es verdadera. a a As (x)p(x) es verdadera. ,

1.4.3.

Relacin entre cuanticadores o

A continuacin veremos la relacin que existe entre los dos cuanticadores antes denidos. o o Dicha relacin se debe a la negacin. o o Resulta que (x)p(x) es falsa si y slo si p(x) no es verdadera para ninguna cadena de o s mbolos x, es decir, si y slo si (x)p(x) es verdadera. As hemos hallado la o ,

w w

Denicin 1.11 (Cuanticador existencial). La proposicin (x)p(x), que se lee exiso o te x, tal que p(x), es verdadera cuando se puede encontrar por lo menos una cadena de smbolos que hace p(x) verdadero.

.M

at em

at

ic a

1.4.2.

Cuanticador existencial

epartamento de Ingenier Matemtica - Universidad de C a a

1. c

om

Proposicin 1.3 (Negacin del cuanticador existencial). La siguiente proposicin es o o o una tautologa (x)p(x) (x)p(x). 1.4.4. Existencia y unicidad

Hay un cuanticador ms que se utiliza con frecuencia: a

Denicin 1.12 (Existencia y unicidad). La proposicin (!x)p(x), que se lee existe o o un unico x tal que p(x), es verdadera cuando hay exactamente una cadena de smbolos hace verdadero p(x). Un ejemplo: Ejemplo:

Nuevamente, considerando nuestra funcin proposicional p(x) = x es un jugador de o f tbol. Cul ser el valor de verdad de (!x)p(x)? u a a Podemos notar que tanto x1 = Marcelo Salas y x2 = Matas Fernndez hacen que a p(x) sea verdadera. Es decir, si bien existe un x que hace a p(x) verdadera, no es unico. As (!x)p(x) es falsa. ,

(!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 tcnica de demostracin que se basa en una de las tautolog impore o as tantes 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 1, a (p q) ((p q) (q p)).

En donde el rol de p y q est descrito arriba. Esta nos permite dividir la demostracin en a o 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) tambin lo es. e

Observacin: Notemos que ! no es un cuanticador nuevo, en el sentido de que puede ser o denido en funcin de los dos cuanticadores anteriores. Es decir la siguiente proposicin es o o verdadera.

partamento de Ingenier Matemtica - Universidad de C a a

.M

at

em at

ic

a1

.c

om

) Hiptesis: (x)(p(x) q(x)) es verdadera. o p.d.q: (x)p(x) (x)q(x) es verdadera.

En efecto: Sea x arbitrario. Por hiptesis se tiene tanto p(x) como q(x) son verdaderas. o En particular p(x) lo es. Es decir, probamos que (x)p(x) es verdadera. Anlogamente a se tiene que tambin (x)q(x) es verdadera. e ) Hiptesis: (x)p(x) (x)q(x) es verdadera. o p.d.q: (x)(p(x) q(x)) es verdadera. En efecto: Sea x0 arbitrario. Como por hiptesis (x)p(x)) es verdadera se tiene que o p(x0 ) es verdadera. Como por hiptesis (x)q(x) es verdadera se tiene q(x0 ) tambin o e lo es.

Observacin: Convenciones en el desarrollo de un argumento En la demostracin anterior o o la expresin ... es verdadera ... aparece una gran cantidad de veces. Por ejemplo en o Hiptesis: (x)(p(x) q(x)) es verdadera. o p.d.q: (x)p(x) (x)q(x) es verdadera.

Esto no siempre es necesario pues se subentiende que al decir que la hiptesis es p estamos o asumiendo que p es verdadera. Del mismo modo, si declaramos que queremos demostrar q se subentiende que deseamos demostrar que q es verdadera. Tambin es posible que despus de un razonamiento lleguemos a la conclusin que r es e e o verdadera. Esto suele indicarse con expresiones del tipo se tiene r o y entonces r. Tomando estas convenciones la ultima parte del desarrollo anterior queda como sigue. Hiptesis: (x)p(x) (x)q(x) o p.d.q: (x)(p(x) q(x))

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

partamento de Ingenier Matemtica - Universidad de C a a

w w

w .M

at

em

at ic

a1

.c o

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. 25-11 no corresponde a una proposicin lgica. o o Podrs venir ma ana? es una proposicin lgica. a n o o

x 11 corresponde a una proposicin lgica, si se reemplaza x por un n mero. o o u 25 11 0 corresponde a una proposicin lgica. o o El valor de verdad de la proposicin p es siempre distinto al de p. o

La proposicin p q es verdadera cuando al menos una de las proposiciones p q es o o verdadera. La proposicin p q es falsa slo si p y q son falsas. o o

Existe una proposicin lgica p tal que p q es siempre verdadera, sin importar el o o valor de verdad de q. Basta que p sea falsa, para que la proposicin p q sea siempre falsa. o

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

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

La proposicin p q es verdadera cuando p y q no son simultneamente falsas. o a

.M

at e

Si p es falsa, entonces la proposicin p q es siempre falsa. o

at ic

a1

.c om

Existen proposiciones lgicas p tales que p tiene el mismo valor de verdad que el de o

partamento de Ingenier Matemtica - Univer a a

Gu Bsica a a

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 negacin de la proposicin p q es p q. o o La negacin de la proposicin p q es p q. o o La negacin de la proposicin p q es p q . o o La proposicin (p q) r es equivalente a la proposicin (p r) (q r). o o

La proposicin (p q) r siempre tiene el mismo valor de verdad que la proposicin o o (r q) p. La proposicin (p q) r siempre tiene el mismo valor de verdad que la proposicin o o (p r) (q r). La proposicin (p q) p es verdadera slo cuando q es verdadera. o o La proposicin (p q) p es verdadera si p es verdadera. o Si la proposicin (p q) p es falsa, necesariamente q es falsa. o La proposicin p F es siempre falsa. o

Si la proposicin p (q r) es verdadera y p tambin lo es, necesariamente r es o e verdadera.

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

Si la proposicin ((r p) (p q)) es verdadera, la proposicin r q tambin lo o o e La proposicin (( p) (q r)) ( p) es una tautolog o q r a. La proposicin (p q) ( q ) es tautolog o p a. La negacin de la proposicin p q es (p q ). o o La negacin de la proposicin p q es p q. o o

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

.M

at

Si la proposicin p q es verdadera y p tambin lo es, necesariamente q es verdadera. o e

em

at

ic

La proposicin p q es siempre verdadera si el valor de verdad de p es falso. o

a1 .c

om

La proposicin p p es siempre falsa. o

partamento de Ingenier Matemtica - Universidad de C a a

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

Si la proposicin (x)p(x) es verdadera, entonces la proposicin (x)p(x) es tambin o o e verdadera. Si q(x) es una funcin proposicional y x0 es tal que q(x0 ) es verdadera, entonces la o proposicin cuanticada (x)q(x) es verdadera. o

Es siempre cierto que si la proposicin (x)p(x) es verdadera, entonces la proposicin o o (!x)p(x) es verdadera. Si p(x) es una funcin proposicional y x0 es tal que p(x0 ) es falsa, entonces la propoo sicin cuanticada (x)p(x) es falsa. o

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

La negacin de la proposicin (!)p(x) es ((x)p(x)) ((x)(y)(x = y (p(x) o o p(y))).

partamento de Ingenier Matemtica - Universidad de C a a

.M

at

em

at

ic

a1 .c

om

Gu de Ejercicios a

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). (d) ((q r) p) (q p) (r p). (c) (p q) (p q).

(d) (p q) (p r)

3. Se dene el conectivo lgico p|q p q. Escriba usando slo el conectivo |, proposiciones o o equivalentes a las siguientes: (a) p (b) p q (d) p q (c) p q

4. Sean p, q, r proposiciones lgicas. Demostrar usando tablas de verdad que las siguientes o proposiciones son tautolog as: (a) p (p q)

(b) (p q) (p q) (p q) (d) (p q) (p q)

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

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

(b) p (q r)

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

.M

(a) p q

at

em

at

ic

2. Escriba las siguientes proposiciones lgicas, de manera equivalente, slo usando los coneco o tivos lgicos de implicancia () y negacin (): o o

partamento de Ingenier Matemtica - Univer a a

a1

.c

om

5. Sean p, q, r proposiciones lgicas. Demostrar sin usar tablas de verdad que las siguientes o proposiciones son tautolog as: (a) [(p q) (r q) r] p (c) [(p q) p] (p q)

(b) [p (p q)] q

(d) (p q r) (p r q)

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

6. En cada caso, con la informacin entregada, determine el valor de verdad de la proposicin o o r: (a) r q es falsa. (c) p (q r) es falsa.

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

(d) (x)[q(x) (y)p(y)]

(e) (x)(y)(p(x) q(y))

w w

w .M

(c) (!x)p(x)

at

(b) (x)(y)(p(x) q(y))

em

at ic

(a) (x)(y)(p(x) q(y))

a1

.c o

7. Sean p(x), q(x) funciones proposicionales. Determinar la negacin de las siguientes proo posiciones cuanticadas:

partamento de Ingenier Matemtica - Universidad de C a a

Gu de Problemas a

La presente gu le permitir tener una idea bastante precisa del tipo de problemas que a a debe ser capaz de resolver en una evaluacin y el tiempo promedio que deber demorar en o a resolverlos. En total deber poder resolverla en 3 horas. Le recomendamos que trabaje en a 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 proposicin preo sentada en cada item es una tautolog Trate de aprovechar la forma que tiene cada a. proposicin, usualmente el hecho de que sea una implicancia. o (a) (20 min.) (p q p r) ((q p) (p r)). (c) (20 min.) (p q) [(q r) (p r)].

P2. En esta parte, dada una hiptesis (una proposicin que se sabe es verdadera), deber o o a estudiar el valor de verdad de otra proposicin. o (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 informacin de la hiptesis para sacar conclusiones de los valores de verdad de o o 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 proposicin es verdadera. o [s (r r)] [(p q) s r].

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

es verdadero para todas las combinaciones de valores veritativos que cumplen la hiptesis. o

(d) (20 min.) [(p q) (r q) r] p.

.M

at

em

at

(b) (20 min.) (p q) (r q) (p r).

partamento de Ingenier Matemtica - Univer a a

ic

a1

.c

om

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

Piense en qu dice cada una en trminos intuitivos y cuAl es la diferencia entre ambas. e e (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 Justique su eleccin. a. o

partamento de Ingenier Matemtica - Universidad de C a a

w w

w .M

at

em

at ic

a1

.c o