martes, 11 de septiembre de 2012

Lógica Predictiva


Para esta semana, se nos dio a elegir unas sentencias y trabajaremos con lógica predictiva.


Las sentencias que elegí fueron.



"No pigs can fly;
All pigs are greedy."

"Ningún cerdo puede volar
Todos los cerdos son codiciosos"


Para esto se definen equivalencias:
P(x) = Cerdo
F(x) = Vuela
G(x) = Codicioso


Combinando los conectivos con los predicados, constantes, variables y los cuantificadores, pueden crearse estas sentencias.

Cuantificadores.

∃x = Por lo menos uno
∀x = Todos

Formulación de expresiones

Ningún cerdo puede volar

¬∃x P(x) ⇒ F(x)

Todos los cerdos son codiciosos

x P(x) G(x)

Con esto podemos decir que:

Los cerdos son codiciosos y no pueden volar

x P(x) (G(x)^¬F(x))


Referencias

1 comentario: