Logica de predicado

12

Transcript of Logica de predicado

Page 1: Logica de predicado
Page 2: Logica de predicado

LÓGICA DE PREDICADO

Page 3: Logica 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

Page 4: Logica de predicado

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

Page 5: Logica de predicado

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

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

SÍMBOLOS Y CONECTORES

Page 6: Logica de predicado

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

aves

(P˄Q)R

EJEMPLO

Page 7: Logica de predicado

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

Page 8: Logica de predicado

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

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

EXPRESIONES PARA EL SUJETO

Page 9: Logica de predicado

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

EXPRESIONES PARA PREDICADO

Page 10: Logica de 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

Page 11: Logica de predicado

El camino es largoL: largo y c: camino Lc

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

EJEMPLO

Page 12: Logica de predicado

Gracias por su Atención