Yo elegí el ejercicio 22 de la pagina 101, lo que debemos hacer con este par de sentencias es ecribirlo en notación simbólica-lógica usando conectivos, cuantificadores, etc. Las sentencias del ejercicio elegido son las siguientes:
"Some lessons are difficult.
What is difficult needs attention."
"Algunas lecciones son difíciles.
Lo que es difícil necesita atención"
Para resolverlo primero definí las siguientes equivalencias:
Lessons (Lecciones) = L(x)
Difficult (Difíciles) = D(x)
Attention (Atención) = A(x)
Como repaso en lógica de predicados tenemos 2 símbolos fundamentales:
- ∀ - cuantificador universal (todos)
- ∃ - cuantificador existencial (existe por lo menos uno)
Ya con esto sólo queda analizar las sentencias (enunciados) y sustituir palabras por símbolos.
"Some lessons are difficult."
Some = hace referencia algun/algunos are = acto de implicación
"What is difficult needs attention."
What is = hace referencia a que todo needs = acto de implicación
Y, finalmente, con estos razonamientos lo ùnico que queda hacer es sustituir palabras por expresiones.
"Some lessons are difficult. ∃x L(x) ⇒ D(x)
What is difficult needs attention." ∀x D(x) ⇒ A(x)
Fuente de Consulta
No hay comentarios:
Publicar un comentario