Formalización
Páginas: 2 (439 palabras)
Publicado: 17 de febrero de 2013
EJERCICIOS DE FORMALIZACIÓN (LÓGICA 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 elmarido 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 sepone 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 casay 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 siel marido se va de casa.
12. La suegra se pondrá pesada sólo si el marido se va de casa.
13. Que la suegra se ponga pesada es una condición suficiente para que el marido se vaya de casa.
14. Queel marido se vaya de casa es una condición 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á decasa si y sólo si la suegra se pone pesada.
17. Que la suegra se ponga pesada es condición necesaria y suficiente para que el marido se vaya de casa.
18. Siempre que la suegra se pone pesada, elmarido se va de casa.
Soluciones: 1. (p→(q∧r)) 2. ((p→q)∧r) 3. (p→(q→r)) 4. (p→(q∨r)) 5. ((p∧q)→r) 6. (p∨(q→r)) 7. ((p∨q)→r) 8. (¬p→(¬q∧¬r)) 9. (¬p→(¬q∧¬r)) 10. ¬(p→(q∧r)) 11. (q→p) 12....
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 elmarido 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 sepone 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 casay 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 siel marido se va de casa.
12. La suegra se pondrá pesada sólo si el marido se va de casa.
13. Que la suegra se ponga pesada es una condición suficiente para que el marido se vaya de casa.
14. Queel marido se vaya de casa es una condición 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á decasa si y sólo si la suegra se pone pesada.
17. Que la suegra se ponga pesada es condición necesaria y suficiente para que el marido se vaya de casa.
18. Siempre que la suegra se pone pesada, elmarido se va de casa.
Soluciones: 1. (p→(q∧r)) 2. ((p→q)∧r) 3. (p→(q→r)) 4. (p→(q∨r)) 5. ((p∧q)→r) 6. (p∨(q→r)) 7. ((p∨q)→r) 8. (¬p→(¬q∧¬r)) 9. (¬p→(¬q∧¬r)) 10. ¬(p→(q∧r)) 11. (q→p) 12....
Leer documento completo
Regístrate para leer el documento completo.