Gua de Formalizaciones en el lenguaje L de la Lgica Proposicional

Ejercicios adicionales Comisin Castro Albano-Picollo

1. Hoy no hace calor. 2. Sofa est cursando Lgica y Antigua o ninguna de las dos cosas. 3. Marco no quiere ni pensar en volver. 4. Si Justina 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. 9. Slo si aplica a ello, Martn obtendr una beca postdoctoral. 10. Alonso volver slo si no consigue una beca doctoral o le insistimos mucho. 11. Es necesario y suciente que Paula tenga los idiomas modernos aprobados para poder inscribirse a la tesis. 12. Luz y Federico son amigos. 13. Pablo 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. Andrs tendr puesto de trabajo, a menos que no lo desee. 16. Cuando defends la tesis te dan el ttulo. 17. Basta con que Joaqun saque ms de 7 en los parciales para que obtenga un asterisco. 18. Nicols y Macarena aprobarn Antigua slo si entregan el parcial domiciliario. 19. A no ser que viaje, Barrio dictar el terico del lunes. 20. Pablo 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: Sofa est cursando Lgica. q : Sofa est cursando Antigua.

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

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

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

p
6. p: Todos los alumnos de la comisin aprueban Lgica. q : Bailamos. r: Tomamos 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: Martn aplica a una beca postdoctoral. q : Martn obtiene una beca postdoctoral.

qp
10. p: Alonso volver. q : Alonso consigue una beca doctoral. r: Insistimos mucho a Alonso para que vuelva.

p (q r)
11. p: Paula tiene los idiomas modernos aprobados. q : Paula puede inscribirse a la tesis.

pq
3

12. p: Luz y Federico son amigos.

p
13. p: Pablo promocionar Lgica. q : Pablo saca 7 de promedio en los parciales. r: Pablo 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: Andrs tendr el puesto de trabajo. q : Andrs desea el puesto de trabajo.

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

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

pq
18. p: Nicols aprueba Antigua. q : Macarena aprueba Antigua. r: Nicols entrega el parcial domiciliario. s: Macarena 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: Lautaro es licenciado en losofa. q : Lautaro deende su tesis de licenciatura.

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

p q