lunes, 10 de septiembre de 2012

Lógica Predicativa

Para la tarea de esta semana trabajare con lógica predictiva, y este fue el ejercicio que elegi:


"All pigs are fat;
Nothing that is fed on barley-water is fat."

"Todos los cerdos son gordos;
nada que se alimente de cebada es gordo."

Lo que haremos con este ejercicio es escribirlo en notación simbólica-lógica, para esto utilizare las siguientes equivalencias:


Ahora utilizando los siguientes cuantificadores: 



Elaboramos las siguientes sentencias:

"Todos los cerdos son gordos"   

"Ninguno se alimenta de cebada entonces no son gordos"




Por lo tanto

"Todos los cerdos gordos no se alimentan de cebada"





Referencias:
Symbolic Logic by Lewis Carroll
Lógica Predicativa


1 comentario:

  1. Unos pequeños errores. P(x) en realidad es "x es cerdo". Donde dices ""Ninguno se alimenta de cebada entonces no son gordos" el texto está un poco mal, pero la expresión está bien. En la última formula del entonces sería más bien \forall x P(x) => \neg R(x). Van 7 pts.

    ResponderEliminar