Este documento presenta una introducción a la lógica de predicados. Explica las diferencias entre la lógica proposicional y la lógica de predicados, y proporciona ejemplos de los cuatro tipos de predicados: verbos, nombres comunes, propiedades y relaciones. También muestra cómo definir predicados y escribir sentencias finales usando variables y conectivos lógicos.

1. REPUBLICA BOLIVARIANA DE VENEZUELA
MINISTERIO DEL POPULAR PARA LA EDUCACION
UNIVERSIDAD FERMIN TORO
FACULTA DE INGENERIA
CALCULO DE PREDICADOS
Jean Carlos Peñaloza
C.I: 21298566
Sección: SAIA A
Prof: Domingo Méndez

2. Resumen de predicados
Representación del
Conocimiento
Lógica de proposicional ( P, P^Q, Psi solo siR) lógica de predicados
Sintaxis  (P(X)) cuadro comparativo con la proposicional
NOTA: Estos pasos ya debemos tenerlo en cuenta que es lo que ya hemos estudiado

3. Tenemos 4 tipos de predicados
 VERBO: EJEMPLO, José Luis canta este seria un verbo (canta)
 NOMBRE COMUN: EJEMPLO, Lisbeth es profesora
 PROPIEDAD: EJEMPLO, Lisbeth es delgada, la propiedades se refiere de atributos, cualidad, alta, baja etc.
 RELACION: EJEMPLO, Carlos es mas alto que Daniel
D. Proposional D Predicativo
P profesora (Lisbeth)
P profesora (milagro)
Q profesora (milagro)
NOTA: las variables la representaremos con x,y,z,a,b,etc.

4. EXPRESIONES
MOLECULAS[^^P(x,y)^R(z)] ATOMICAS [P(x,y)]
ALGUNOS EJEMPLOS DE CADA PREDICADO:
1) Si Juana es alta, entonces Susana es baja
DEFINICION SENTENCIA FINAL
Alta (x)<-> x es alta Alta (Juana)Baja (Susana) ( PROPIEDAD)
Baja (y)<->y es baja
2) Si Miguel Ángel fue un artista del renacimiento, entonces Leonardo Da Vincci también lo fue
DEFINICION SENTENCIA FINAL
Artista R(x)<->x fue artista al renacimiento Artista R(Miguel Ángel)<-> Artista R(Leonardo Da Vincci) también lo fue
(NOMBRE COMUN)

5. 3) Antonio ayuda a Juan y es ayudado por José
DEFINICION SENTENCIA FINAL
Ayuda(x,y)<->x ayuda a y Ayuda ( Antonio, Juan) ^ Ayuda (José, Antonio)
O
Ayuda(x,y)<-> y es ayudado por x
(RELACION)
4) Leoncio es un perro Marrón
DEFINICION SENTENCIA FINAL
Marrón (x)<->x es marrón Perro (Leoncio)^Marrón (Leoncio)
Perro (x)<-> x es perro
(VERBO)
NOTA: para los cálculos predicados hay que tener en cuenta que hay que darle una definición y una sentencia final, en la definición le
damos a los nombres variables y tener en cuenta en si, solo si. Y en la sentencia final incluir el nombre de la variable y darle sentido a la
oración, ojo trabaja con la proposición que da la oración ya se ( si, solo si, entonces, y, o etc.).