Está en la página 1de 4

Formalizaciones en el lenguaje L de la Lgica Proposicional

Ejercicios adicionales Comisin Pailos-Picollo


1. Hoy no hace calor. 2. Ezequiel est cursando Lgica y Antigua o ninguna de las dos cosas. 3. Lorena no quiere ni pensar en volver. 4. Si Mara obtiene la beca, se quedar en Buenos Aires; pero si no la obtiene ir a Nueva York. 5. No es cierto que sea falso que no llueva. 6. Si todos los alumnos de la comisin aprueban Lgica, bailaremos y tomaremos cerveza. 7. No quiero dormir ni estar despierto. 8. Es necesario que todos rindan el primer parcial para aprobar Moderna, pero no es suciente. 9. Slo si aplica a ello, Matas obtendr una beca postdoctoral. 10. Alonso colaborar slo si no todos lo hacen. 11. Es necesario y suciente que Diego tenga los idiomas modernos aprobados para poder inscribirse a la tesis. 12. Sonia y Laura son amigas. 13. Facundo promocionar Lgica si y slo si saca 7 o ms de 7 de promedio en los parciales. 1

14. Siempre que comienzan las clases, la facultad est superpoblada. 15. Tendrs el puesto de trabajo, a menos que no lo desees. 16. Cuando defends la tesis te dan el ttulo. 17. Basta con que Nadia saque ms de 7 en los parciales para que obtenga un asterisco. 18. Mirta y Claudia aprobarn Antigua slo si entregan el parcial domiciliario. 19. A no ser que viaje, Barrio dictar el terico del lunes. 20. Lucas ser licenciado en losofa nica y exclusivamente si deende su tesis de licenciatura. 21. Es suciente que algunos no comprendan para que el tema vuelva a ser explicado.

SOLUCIONES 1. p: Hoy hace calor.

p
2. p: Ezequiel est cursando Lgica. q : Ezequiel est cursando Antigua.

(p q ) (p q )
3. p: Lorena quiere pensar en volver.

p
4. p: Mara obtiene la beca. q : Mara se queda en Buenos Aires. r: Mara va a Nueva York.

(p q ) (p r)
5. p: Llueve.

p
6. p: Todos los alumnos de la comisin aprueban Lgica. q : Bailaremos. r: Tomaremos cerveza.

p (q r)
7. p: Quiero estar despierto.

p p
8. p: Todos rinden el primer parcial de Moderna. q : Todos aprueban el parcial de Moderna.

(q p) (p q )
9. p: Matas aplica a una beca postdoctoral. q : Matas obtiene una beca postdoctoral.

qp
10. p: Alonso colaborar. q : Todos colaboran.

p q
11. p: Diego tiene los idiomas modernos aprobados. q : Diego puede inscribirse a la tesis.

pq
3

12. p: Sonia y Laura son amigas.

p
13. p: Facundo promocionar Lgica. q : Facundo saca 7 de promedio en los parciales. r: Facundo saca ms de 7 de promedio en los parciales.

p (q r)
14. p: Comienzan las clases. q : La facultad est superpoblada.

pq
15. p: Tendrs el puesto de trabajo. q : Deses el puesto de trabajo.

(q p) o bien (q p)
16. p: Defends la tesis. q : Te dan el ttulo.

pq
17. p: Nadia saca ms de 7 en los parciales. q : Nadia obtiene un asterisco.

pq
18. p: Mirta aprueba Antigua. q : Claudia aprueba Antigua. r: Mirta entrega el parcial domiciliario. s: Claudia entrega el parcial domiciliario.

(p q ) (r s)
19. p: Barrio est de viaje el lunes. q : Barrio dicta el terico el lunes.

(p q ) o bien (p q )
20. p: Lucas es licenciado en losofa. q : Lucas deende su tesis de licenciatura.

pq
21. p: Todos comprenden el tema. q : El tema vuelve a ser explicado.

p q