martes, 4 de septiembre de 2012

Tarea 5 - Ejercicio Lógica Predicativa

Para esta tarea elegimos un ejercicio del libro Symbolic Logic de Lewis Carroll 

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






1 comentario: