Buenas tardes les anexo los enunciados de los ejercicios que deben simbolizar, luego demostrar con las leyes de inferencia que la conclusión es válida.
EJERCICIOS
I.- Dados los siguientes razonamientos lógicos, Simbolice y demuestre la conclusión aplicando las leyes de Inferencia:
1.- Si Juan es vivo entonces Pedro es tranquilo. Si Pedro es tranquilo entonces José es tramposo. Juan es vivo y José no es tramposo. Se concluye que, Juan no es vivo.
2.- La rabia no es mala o el amor es lindo. Los celos matan y el amor no es lindo. Si la rabia no es mala entonces los cachos no duelen. Se concluye que los cachos duelen,
3.- El lago es azul y la montaña no es alta. Si la montaña no es alta, entonces la brisa no es cálida. Si las flores son coloridas, entonces el lago no es azul. Se concluye, No ocurre que las flores son coloridas o la brisa es cálida.
4.- Quien la acompañó, sí solo sí, donde se fue. Quien no lo acompañó. Sí el fue el culpable entonces donde se fue. Se concluye que él no es el culpable.
Facilitador: Carlos Garcìa
)