Logica de predicado

1. LÓGICA DE PREDICADO

2. 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

3. 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

4. ˄ = Conectiva “o” ˅ = Conectiva “y” ¬ = Negación  = Implicación  = Doble implicación CUANTIFICADORES Ǝ = Cuantificador existencial A = Cuantificador universal, equivale a todo SÍMBOLOS Y CONECTORES

5. P= todas las palomas vuelan Q= todas las aves tienen plumas R= luego todas las palomas son aves (P˄Q) R EJEMPLO

6. Todos los chanchos que vuelan saben leer. y hay al menos un chancho que vuela y sabe leer. A=chanchos B=volar C=leer (A^B)--->C Es decir que si un elemento pertenece a A (es chancho) y además pertenece a B(vuela) entonces implica que C(sabe leer) EJEMPLO

7. Son aquellos que identifican un individuo sea lugar, persona, objeto…… Comúnmente se denotan con cualquier letra minúsculas. EXPRESIONES PARA EL SUJETO

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

9. 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

10. El camino es largo L: largo y c: camino  Lc Paula y Juliana son bonitas p: Paula j: Juliana B: bonitas B(p ˄ j) EJEMPLO

11. Gracias por su Atención