Trabajo Autonomo 2


UNIVERSIDAD ESTATAL DE MILAGRO
Sistema Nacional de Nivelación y Admisión
Curso de Nivelación Segundo Semestre 2013

HOJA DE TRABAJO AUTÓNOMO

DOCENTE: ING. ROBIN ANGUIZACA F. ÁREA: 5 PARALELO:M03
ASIGNATURA: MATEMÁTICAS FECHA: 13 /11/2013 CODIGO: TA02
ESTUDIANTE: ______________________________________________

1. Dadas las siguientes proposiciones:
a: Elizabeth cumple con susobligaciones.
b: Elizabeth aprueba el examen.
c: Elizabeth se va de vacaciones.
d: Elizabeth trabaja.
e: Elizabeth come.

Traduzca literalmente las siguientes proposiciones:
I. a→ ¬ [b → (¬ c ∨ d)]__________________________________________________________
________________________________________________________________________________
II. [b ∧ ¬ (d ↔ ¬ a)] ∨ [(c ∨ d) → (d ∧ e)]_________________________________________
________________________________________________________________________________
III. c → [(a ↔ d ) ∧ (b ↔ ¬ e)] ________________________________________________________________________________________________________________________________
IV. (a ∧ b) ↔ [c ∨ (d → ¬ e)] ________________________________________________________________________________________________________________________________

2. Defina simbólicamente las proposiciones e indique la traducción al lenguaje formal:
a. La decisión depende del juicio o la intuición, pero no del dinero._______________________________________________________
b. Iré al estadio o al cine, en caso de que consiga dinero. _______________________________________________________
c. El Sol brilla porque es el día del amor._______________________________________________________
d. A Juan no le agrada este ejercicio, pues no lo puede resolver.
_______________________________________________________

3. Considerando lasproposiciones:
a: La información es correcta.
b: Existe un incremento en los costos de producción.
c: El analista tiene un error de apreciación.

Traduzca al lenguaje formal la proposición:
La...