lunes, 28 de octubre de 2013

EJERCICIOS DE LOGICA SIMBOLICA


nEJERCICIOS DE LOGICA 
  A entregar el dia 11 de noviembre de 2013.

1. Si esta todo en orden, entonces podremos continuar con nuestra labor

2. Mañana iré al cine y el sábado llegaré a tu casa para hacer la tarea.

3. En la tarde voy a ver televisión por cable o alquilaré alguna película

4. La noticia se difundió rápido por Facebook y Twitter

5. No es verdad que no iré al salón de clases esta tarde

6. Siendo ordenado y sabiendo priorizar son condiciones suficientes y necesarias para prevenir la mayor cantidad de errores

7. Si ordeno mi habitación y realizo una limpieza más a fondo, entonces tendré un ambiente más agradable para trabajar.

8. No puedo continuar con esta tarea y no llegaré a tiempo a la universidad

9. Si la gente continua botando basura, entonces será más difícil eliminar la contaminación.

10. No preparándome para los parciales o no realizar las tareas, son condiciones suficientes y necesarias para no aprobar las materias

11. No me inscribirè en el curso de inglés de esta semana

12. Es falso que El Salvador no ha ido a un mundial de futbol.

13. Es falso que en este listado hayan 12 oraciones.

14. Si te hablo por celular y que tu no me contestes entonces no surgirá una buena comunicación entre nosotros. Por tanto, cuando tu me respondas, entonces y solo entonces habrá una buena comunicación entre nosotros

15. No ir a descansar y seguir trabajando son condiciones suficientes y necesarias para andar con sueño y fatigado el próximo dia. De manera que, descansando adecuadamente y no seguir trabajando son condiciones suficientes y necesarias para no andar con sueño ni fatigado el próximo dia.


16. Un buen ambiente navideño y una excelente compañía son condiciones suficientes y necesarias para pasarla bien en las fiestas de fin de año. Por tanto, si no estoy con una buena compañía o no tengo un buen ambiente navideño, entonces, no la pasaré bien en las festividades de fin de año.

Si tenemos que:
P: Estudiar la materia de lógica
Q: asistir regularmente a clases
R: obtener un trabajo satisfactorio

Resolver:

  17. (P V Q) \to \, R
  
  18. (P \and  Q) \leftrightarrow R

  19. (-P \and -Q) \to \, -R

No hay comentarios:

Publicar un comentario