EJERCICIOS DE FORMALIZACIN (LGICA PROPOSICIONAL)

1. Si la suegra se pone pesada, entonces el marido se ir de casa y la esposa se ir de vacaciones.

2. Si la suegra se pone pesada, entonces el marido se ir de casa, y de todos modos la esposa se ir de
vacaciones.
3. Si la suegra se pone pesada, entonces, si el marido se va de casa, la esposa se ir de vacaciones.
4. Si la suegra se pone pesada, entonces, o bien el marido se ir de casa o bien la esposa se ir de
vacaciones.
5. Si la suegra se pone pesada y el marido se va de casa, entonces la esposa se ir de vacaciones.
6. bien la suegra se pone pesada, o bien, si el marido se va de casa, la esposa se va de vacaciones.
7. Si la suegra se pone pesada o el marido se va de casa, entonces la esposa se ir de vacaciones.
8. Si la suegra no se pone pesada, entonces ni el marido se ir de casa ni la esposa se ir de vacaciones.
9. Si no se da el caso de que la suegra se ponga pesada, entonces el marido no se ir de casa y la esposa
no se ir de vacaciones.
10. No se da el caso de que, si la suegra se pone pesada, entonces el marido se ir de casa y la esposa se
ir de vacaciones.
11. La suegra se pondr pesada si el marido se va de casa.
12. La suegra se pondr pesada slo si el marido se va de casa.
13. Que la suegra se ponga pesada es una condicin suficiente para que el marido se vaya de casa.
14. Que el marido se vaya de casa es una condicin necesaria para que la esposa se vaya de vacaciones.
15. La suegra no se pondr pesada a no ser que el marido se vaya de casa.
16. El marido se ir de casa si y slo si la suegra se pone pesada.
17. Que la suegra se ponga pesada es condicin necesaria y suficiente para que el marido se vaya de casa.
18. Siempre que la suegra se pone pesada, el marido se va de casa.

Soluciones:
1. (p(qr))

10. (p(qr))

2. ((pq)r)

11. (qp)

3. (p(qr))

12. (qp)

4. (p(qr))

13. (pq)

5. ((pq)r)

14. (pq)

6. (p(qr))

15. (qp)

7. ((pq)r)

16. (pq)

8. (p(qr))

17. (pq)

9. (p(qr))

18. (pq)