Tarea I

TAREA I

Resuelva los siguientes ejercicios en su cuaderno y preséntelos 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:

ü  [b ʌ ¬(d ↔  ¬a)] ʌ [(c V d) → (d ʌ e)]

(d ↔  ¬a): Fernanda trabaja si y solo si  no cumple con sus obligaciones.

(c V d): Fernanda se va de vacaciones o trabaja.

(d ʌ e): Fernanda trabaja y come.

¬(d ↔  ¬a): No  es verdad que, Fernanda trabaja si y solo si no cumple con sus  obligaciones.

[b ʌ ¬(d ↔  ¬a)]: Fernanda aprueba el examen pero no es verdad que, Fernanda trabaja si y solo si no cumple con sus obligaciones.

[(c V d) → (d ʌ e)]: Si Fernanda se va de vacaciones o trabaja, entonces Fernanda Trabaja y come.

[b ʌ ¬(d ↔  ¬a)] ʌ [(c V d) → (d ʌ e)]: Fernanda aprueba el examen pero no es verdad que, Fernanda trabaja si y solo si no cumple con sus obligaciones o si Fernanda se va de vacaciones o trabaja, entonces Fernanda trabaja y come.

ü  (b ʌ a) → (c V d)

(b ʌ a): Fernanda aprueba el examen y cumple con sus obligaciones.

(c V d): Fernanda se va de vacaciones o trabaja.

(b ʌ a) → (c V d): Si Fernanda aprueba el examen y cumple con sus obligaciones, entonces Fernanda se va de vacaciones o trabaja.

Considere la proposición "Si tu eres inteligente y no actúas con prudencia, eres ignorante en la materia", luego:

ü  obtenga las premisas primitivas

ü  traduzca formalmente la proposición mediante simbología

a)    Tú Eres inteligente.

b)    Actúas con prudencia.

c)    Eres ignorante en la materia.

(a ʌ ¬b) → c

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 

ü  "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 saldre bien en examen"

              ¬(¬c ʌ ¬d)

Considere las proposiciones anteriores e indique la traducción  de:

ü   (¬b ʌ a) ʌ (c ʌ ¬ d)

(¬b ʌ a): No tengo que someterme a un examen y hoy es martes.
(c ʌ ¬ d): He estudiado por lo tanto no saldré mal en el examen.

(¬b ʌ a) ʌ (c ʌ ¬ d): No tengo que someterme a un examen y hoy es martes, pero he estudiado por lo tanto no saldré mal en el examen.