Lógica de Predicados (Capitulo II)
12 julio 2011¡Buenas a todos!
Hoy continuaré con el tutorial sobre Lógica de Predicados que comencé hace unas semanas. Después de averiguar cómo poder obtener conclusiones de dos predicados expuestos… hoy lo pasaremos a la simbología de Lógica de Predicados.
Tenemos dos tipos de cuantificadores en la lógica de predicados:
∀: Cuantificador universal: TODO
∃: Cuantificador existencial: ALGUN
Y nos ayudaremos con los símbolos de la lógica proposicional
→: Si… entonces, por lo tanto
∧ : Y
∨ : O
¬ : NO
A partir de los símbolos descritos vamos a pasar las sentencias a predicados:
“Algunos múltiplos de 3 son múltiplos de 4”
- ∃x(Px→Qx)
“Todo múltiplo de 4 es múltiplo de 3”
- ∀x(Qx→Px)
“Todos los leones son felinos”
- ¬∃x(Lx∧¬Fx)
“Algún león es gato”
- ¬∀x(Lx→¬Gx)
Podemos observar que introduciendo negaciones creamos nuevas combinaciones para el uso de los cuantificadores Todo y Algun. Hay que practicar mucho este tipo de ejercicios para poder coger un dominio sobre ellos.
¡Un saludo!
