La lógica de predicados se basa en la idea de que las sentencias expresan relaciones entre objetos y sus atributos. El cálculo de predicados se usa en aplicaciones matemáticas como la aritmética y el álgebra. En lógica, los predicados describen cualidades o relaciones y los objetos son los argumentos o términos del 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.

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.

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

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

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

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

9.  Esla complementación del sujeto
comúnmente se clasifica con
cualquier letra mayúscula.

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

11.  Elcamino es largo
L: largo y c: camino  Lc
 Paula y Juliana son bonitas
p: Paula
j: Juliana
B: bonitas
B(p ˄ j)

12. Gracias por
su Atención