viernes, 7 de marzo de 2014

Lógica proposicional

Simbolización de proposiciones lógicas 

1. Las computadoras trabajan más rápido que los hombres.
2. No tengo un auto azul.
3. Marcela estudia en Lima y Pablo en Arequipa.
4. Bailamos o tomamaos café.
5. Si cantamos entonce necesitamos viajar.
6. Leere este libro si solo si tiene pocas hojas.
7. No es cierto que si no tomamos café implica que no es de día.
8. La tierra gira alrededor del sol ó no se da que la luna es un planeta.
9. Si trabajara los fines de semana y durmiera menos entonces no perdería el vuelo.
10. Es falso que vivo en Arequipa, pero visitaré a mi familia en Tacna.
11. No iremos al partido a menos que salga el sol.
12. Ana es profesora o es estudiante pero no puede ser ambas cosas a la vez.


Ejercicios de formalización de inferencias.

Ejercicio 01
Si Rosa participa en el municipio escolar entonces los estudiantes se enojan con ella, y si no participa en el municipio escolar, los profesores se enojan con ella. Pero, Rosa participa en el municipio escolar o no participa. Por lo tanto, los estudiantes o los profesores se enojan con ella.





Ejercicio 02
Si viene en tren, llegará antes de las seis. Si viene en coche, llegará antes de las seis. Luego, tanto si 
viene en tren como si viene en coche, llegará antes de las seis:  

A) [p⋀(r→q)]→[(p⋁r)→q]B)[(p→q)→(r→q)] → (p⋁r→q)C) (p→q)⋀(r→q)→(p⋁r)⋀q
D) [(p ⋀ q) ⋀ (r → q)] → [(p ⋁ r) → p]          E) [(p → q) ⋀ (r → q)] → [(p ⋁ r) → q]




No hay comentarios:

Publicar un comentario