TAREA I

Resuelva los siguientes ejercicios en su cuaderno y presentar el siguiente día de clases en donde se realizará un laboratorio basado en dicho tema.

Dadas las siguientes proposiciones
a: Fernanda cumple con sus obligaciones
b: Fernanda aprueba el examen
c: Fernanda se va de vacaciones
d: Fernanda trabaja
e: Fernanda come

traducir literalmente las siguientes proposiciones
1) [b and ¬ (d si solo si ¬a)] V [(c V d) --> (d and e)]


(Paso 1)  (d si solo si   ¬a)=Fernanda trabaja, si solo si, Fernanda no cumple con sus obligaciones.

                                    

(Paso 2)  (c v d)= Fernanda se va de vacaciones ó  trabaja.

(Paso 3)  (d and e)= Fernanda trabaja y come.

(Paso 4)  ¬ (d si solo si ¬a)= no es cierto que, Fernanda trabaja, si y solo si no cumple con sus obligación.

(Paso 5)   [b and¬ (d si solo si ¬a)] = Fernanda aprueba el examen; pero, no es cierto que, Fernanda trabaja, si y solo si, no cumple con sus obligaciones.

(Paso 6)  (c v d) à(d and e)= si Fernanda se va de vacaciones, entonces, trabaja y come.

R// (Paso 7) [b and ¬ (d si solo si ¬a)] v [(c v d) à(d and e)]= Fernanda aprueba el examen, pero no es cierto que trabaja si y solo si no cumple con sus obligaciones; o si Fernanda se va de vacaciones, entonces trabaja y come.   

2) (b and a) -->(c V d)
(Paso 1) (b and a) = Fernanda aprueba el examen y cumple con sus obligaciones.
(Paso 2) (c v d)= Fernanda se va de vacaciones o trabaja
R// (Paso 3) (b and a) à(c v d)= Si Fernanda aprueba el examen y cumple con sus obligaciones entonces, se va de vacaciones ó trabaja.
3) Considere la proposición "Si tu eres inteligente y no actúas con prudencia, eres ignorante en la materia", luego:
       a) obtenga las premisas primitivas
       b) traduzca formalmente la proposición mediante simbología


Si tú eres inteligente y no actúas con prudencia, eres ignorante en la materia.
a) eres inteligente
b) no actúas con prudencia
c) eres ignorante en la materia              
R//  (a and ¬b)àc


4) Sean las proposiciones:

a: Hoy es martes
b: Tengo que someterme a un examen
c: He estudiado
d: Saldré mal en el examen

Indique cuál es la traducción formal de la proposición
4.1 "Hoy es martes y tengo que someterme a un examen, pero si he estudiado entonces no saldré mal en el examen".
4.2  "No es cierto que no he estudiado por lo tanto saldré bien en examen"



R//La traducción formal es hoy es martes y tengo que someterme a un examen, pero si he estudiado entonces no saldré mal en el examen. (a and b) and (c à¬d)

5) considere las proposiciones anteriores e indique la traducción  de:
 (¬b and a) and (c and ¬ d)

R//no tengo que someterme a un examen y hoy es martes pero si he estudiado y no saldré mal en un examen.