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

http://www.gutenberg.org/files/28696/28696-h/28696-h.htm#p008propose