Tarea I

Dadas las siguientes proposiciones, resuelva los ejercicios No. 1 y 2:

a)      Fernanda cumple con sus obligaciones.

b)      Fernanda aprueba el examen.

c)       Fernanda se va de vacaciones.

d)      Fernanda trabaja.

e)      Fernanda come.

1.     ((b ^ -(d↔-a)) v ((c v d) → (d ^ e))

Paso 1: Fernanda trabaja si y solo si no cumple con sus obligaciones.

Paso2: Fernanda se va de vacaciones y trabaja.

Paso3: Fernanda trabaja y come.

Paso4: No es cierto que Fernanda trabaja si y solo no cumple con sus obligaciones.

Paso5: Fernanda aprueba el examen y, no es cierto que, Fernanda trabaja si y solo si no cumple con sus obligaciones.

Paso6: Si Fernanda se va de vacaciones y trabaja, entonces Fernanda Trabaja y come.

Paso7: Fernanda aprueba el examen, pero, no es cierto que Fernanda trabaja, sino cumple con sus obligaciones; o, si Fernanda se va de vacaciones y trabaja, entonces, Fernanda trabaja y come.

2.     (b ^ a) → (c v d)

Paso1: Fernanda aprueba el examen, y, cumple con sus obligaciones.

Paso2: Fernanda se va de vacaciones o trabaja.

Paso3: Fernanda aprueba el examen y cumple con sus obligaciones, entonces, Fernanda se va de vacaciones o trabaja.

3.     Considere la proposición: Si tú eres inteligente y no actúas con prudencia, eres ignorante en la materia.

a: Si eres inteligente.

b: Actúas con prudencia.

c: eres ignorante en la materia.

(a  ^ -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.

Paso1:

Traducción formal de la proposición:
* "Hoy es martes y tengo que someterme a un examen, pero si he estudiado entonces no saldré mal en el examen".

(a ^ b) ^ (c→-d)

*  "No es cierto que no he estudiado por lo tanto saldré bien en examen"

(-e → -d)

5.     considere las proposiciones anteriores e indique la traducción  de:

 (¬b ^ a) ^ (c ^ ¬ d)

Paso1: No tengo que someterme a un examen y hoy es martes.

Paso2: He estudiado y no saldré mal en el examen.

Paso 3: No tengo que someterme a un examen y hoy es martes, y, he estudiado, y , no saldré mal en el examen.