logica de predicado
Post on 18-Jul-2015
848 Views
Preview:
TRANSCRIPT
La lógica de predicados está basada en laidea de las sentencias realmente expresanrelaciones entre objetos, así como tambiéncualidades y atributos de tales objetos. Losobjetos pueden ser personas, objetos físicos,o conceptos.
Tales cualidades, relaciones o atributos, sedenominan predicados. Los objetos seconocen como argumentos o términos delpredicado.
El cálculo de predicados es usado enmuchas aplicaciones de lógicamatemática, tales como aritmética yalgebra. De igual forma, lasaplicaciones de la lógica en lasciencias computacionales es el cálculode predicados o un sistema de lógicaque puede ser formulado dentro delcálculo de predicados.
˄ = Conectiva “o”
˅ = Conectiva “y”
¬ = Negación
= Implicación
= Doble implicación
CUANTIFICADORES
Ǝ = Cuantificador existencial
A = Cuantificador universal, equivale a todo
P= todas las palomas vuelan
Q= todas las aves tienen plumas
R= luego todas las palomas son aves
(P˄Q)R
Todos los chanchos que vuelan saben leer.y hay al menos un chancho que vuela y sabe leer.
A=chanchosB=volarC=leer(A^B)--->CEs decir que si un elemento pertenece a A(es chancho) y además pertenece a B(vuela) entonces implica que C(sabe leer)
Son aquellos que identifican unindividuo sea lugar, persona,objeto……
Comúnmente se denotan concualquier letra minúsculas.
Monarios: son los predicados de un solo argumento
Ej: Juan es juicioso
Binarios: son los predicados de dos argumentos
Ej: Raúl busca a Paula
Terciarios: son los predicados de tres argumentos
Ej: Juliana ama a Steven y Julián
El camino es largoL: largo y c: camino Lc
Paula y Juliana son bonitasp: Paula j: JulianaB: bonitasB(p ˄ j)
top related