Logica 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ónCUANTIFICADORESƎ = Cuantificador existencialA = Cuantificador universal, equivale a todoSÍMBOLOS Y CONECTORES
- 6. P= todas las palomas vuelan Q= todas las aves tienen plumasR= luego todas las palomas son aves(P˄Q)REJEMPLO
- 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 argumentoEj: Juan es juiciosoBinarios: son los predicados de dos argumentosEj: Raúl busca a PaulaTerciarios: son los predicados de tres argumentosEj: Juliana ama a Steven y Julián TIPOS DE PREDICADOS
- 11. El camino es largoL: largo y c: camino LcPaula y Juliana son bonitasp: Paula j: JulianaB: bonitasB(p ˄ j) EJEMPLO
- 12. Gracias por su Atención