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.

Es la complementación del sujetocomúnmente se clasifica concualquier letra mayúscula.

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)

Gracias por su Atención