giovedì 9 aprile 2015

EVALUACION DE LOGICA SIMBOLICA



Decir que tipo de juicios  compuestos son y posteriormente simbolizarlos:
1.       Volveré a casa en la tarde y realizaré el diseño de la tarea.
2.       No podré ir de paseo este fin de semana
3.       Mañana será un dia pesado o un dia más cómodo
4.       Si voy a declarar la renta luego, entonces evitaré moras
5.       El libro del Hobbit era una condición suficiente y necesari a para que se hiciera la película
6.       No volveré a fallar en la entrega de la tarea y no me retrasaré con mis responsabilidades
7.       Lloverá fuertemente si y solo si hay nubes oscuras en el cielo.
8.       Cuando tenga dinero, entonces compraré un automóvil.
9.       No es cierto que no iré a la playa este fin de semana.
10.   No es verdad que hice la tarea.
11.   Es cierto que ahora estoy en clase.
12.   Yo estoy en clase y mi hermano está durmiendo.
13.   Jugaré futbol o beisbol
14.   Cuando duerma bien, entonces y solo entonces podré decir que he descansado lo suficiente
15.   Volver a casa es una condición suficiente y necesaria para ver a mi familia

Si tengo que:
P: Mario irá al cine
Q: Yo  haré a gusto la tarea.
Expresar en palabras las siguientes simbolizaciones:
A)     P ∧ Q                
B)      P →Q
C)      –P ↔Q
D)     –P ∧ -Q
E)      –P →-Q

Simbolizar:

  • -          Si las vacaciones hubieran sido más largas y no tuviera tantas responsabilidades, entonces yo estaría hoy más relajado.
  • -          Ir en automóvil o en motocicleta son condiciones suficientes y necesarias para llegar temprano a clases.
  • -          Si llueve mucho y no tengo precaución, entonces podría caerme.