LÓGICA DE PREDICADO

La lógica de predicados está basada en la idea de las sentencias realmente expresan relaciones entre objetos, así como también cualidades y atributos de tales objetos. Los objetos pueden ser personas, objetos físicos, o conceptos.

Tales cualidades, relaciones o atributos, se denominan predicados. Los objetos se conocen como argumentos o términos del predicado.

DEFINICIÓN

El cálculo de predicados es usado en muchas aplicaciones de lógica matemática, tales como aritmética y algebra. De igual forma, las aplicaciones de la lógica en las ciencias computacionales es el cálculo de predicados o un sistema de lógica que puede ser formulado dentro del cálculo de predicados. 

IMPORTANCIA

˄ = Conectiva “o”˅ = Conectiva “y”¬ = Negación = Implicación = Doble implicación

CUANTIFICADORESƎ = Cuantificador existencialA = Cuantificador universal, equivale a todo

SÍMBOLOS Y CONECTORES

P= todas las palomas vuelan Q= todas las aves tienen plumasR= luego todas las palomas son

aves

(P˄Q)R

EJEMPLO

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)

EJEMPLO

Son aquellos que identifican un individuo sea lugar, persona, objeto……

Comúnmente se denotan con cualquier letra minúsculas.

EXPRESIONES PARA EL SUJETO

Es la complementación del sujeto comúnmente se clasifica con cualquier letra mayúscula.

EXPRESIONES PARA PREDICADO

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

TIPOS DE PREDICADOS

El camino es largoL: largo y c: camino Lc

Paula y Juliana son bonitasp: Paula j: JulianaB: bonitasB(p ˄ j)

EJEMPLO

Gracias por su Atención