La lógica de predicados se basa en la idea de que las sentencias expresan relaciones y atributos entre objetos. Los predicados representan cualidades, relaciones o atributos, mientras que los objetos son los argumentos o términos del predicado. El cálculo de predicados se usa en aplicaciones matemáticas como la aritmética y el álgebra, y también en ciencias de la computación. Incluye símbolos lógicos como cuantificadores y conectores, y tipos de predicados como monarios, binarios y terciarios.

2. LÓGICA DE PREDICADO

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

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

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

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

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

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

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

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

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

12. Gracias por su Atención