a) Fernanda cumple sus obligaciones
b) Fernanda aprueba el examen
c) Fernanda se va de vacaciones
d) Fernanda Trabaja
e) Fernanda Come
Traducir las siguientes Proposiciones
1. [b^ ¬(dssi¬a)] V[(cVd) )-->(d and e)]
2. (b ^a) -->(c V d)
Paso1
(dssi¬a)
Fernanda trabaja si y solo si no cumple con sus obligaciones
Paso2
(cVd)
Fernanda se va de vacaciones o trabaja
Paso3
(d and e)
Fernanda trabaja y come
Paso4
(dssi¬a)
No es verdad que Fernanda trabaja si y solo si no cumple con sus obligaciones
Paso5
[b^ ¬(dssi¬a)]
Fernanda aprueba el examen y no es verdad que trabaja si y solo si no cumple con sus obligaciones
Paso6
[(cVd) )-->(d and e)]
Fernanda se va de vacaciones o trabaja, entonces trabaja y come
Paso7
[b^ ¬(dssi¬a)] V[(cVd) )-->(d and e)]
Fernanda aprueba el examen y no es verdad que trabaja si y solo si no cumple con sus obligaciones
O se va de vacaciones o trabaja, entonces trabaja y come
Ejercicio2
P1
(b ^a)
Fernanda aprueba el examen y cumple con sus obligaciones
P2
(c V d)
Fernanda se vade vacaciones o trabaja
P3
(b ^a) -->(c V d)
Fernanda aprueba el examen y cumple con sus obligaciones, entonces se va de vacaciones o trabaja
Ejercicio 3
P1
a) Eres Inteligente
b) Actúas Con Prudencia
c) Eres ignorante en la materia
P2
(a^¬b)---- >c
Ejercicio4
a) Hoy es martes
b) Tengo que someterme a un examen
c) He estudiado
d) Saldré mal en el examen
4.1 "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)
4.2 "No es cierto que no he estudiado por lo tanto saldre bien en examen"
¬(¬c----- >¬d)
5) considere las proposiciones anteriores e indique la traducción de:
(¬b and a) and (c and ¬ d)
(¬b and a) and (c and ¬ d)
P1
(¬b and a)
Hoy es martes y no tengo que someterme a un examen
P2
(c and ¬ d)
He estudiado y no saldré mal en el examen
P3
(¬b and a) and (c and ¬ d)
Hoy es martes y no tengo que someterme a un examen he estudiado y no saldré mal en el examen
No hay comentarios:
Publicar un comentario