Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...
Estructura lalezka peña
1. CALCULO DE PREDICADOS
L A L E Z K A P E Ñ A
C . I : 2 4 . 4 1 8 . 2 1 8
S E C C I Ó N : S A I A B
P R O F: D O M I N G O M É N D E Z
REPUBLICA BOLIVARIANA DE VENEZUELA
MINISTERIO DEL POPULAR PARA LA EDUCACION
UNIVERSIDAD FERMIN TORO
FACULTA DE INGENERIA
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
3. TENEMOS 4 TIPOS DE PREDICADOS
VERBO: EJEMPLO, FREDDY CABALLERO camina este seria un verbo (camina)
NOMBRE COMUN: EJEMPLO, MARLENE es profesora
PROPIEDAD: EJEMPLO, DUMAR es robusto, la propiedades se refiere de atributos, cualidad, alto, bajo etc.
RELACION: EJEMPLO, Carlos es mas alto que Daniel
D. Proposional D Predicativo
P profesor (Caballero)
P profesor (Dumar)
Q profesora (Marlene)
Dato: (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 CARLA es alta, entonces DANIELA es baja
DEFINICION SENTENCIA FINAL
Alta (x)<-> x es alta Alta (CARLA)Baja (DANIELA) ( PROPIEDAD)
Baja (y)<->y es baja
2) Es Walter Rodriguez un artista del momento , entonces Placido Domingo también lo es
DEFINICION SENTENCIA FINAL
Artista R(x)<->x es artista del momento Artista R(Walter Rodriguez)<-> Artista R(Placido Domingo ) también lo es
(NOMBRE COMUN)
5. ALEJANDRO AYUDA AANDRES Y ES AYUDADO POR DANIEL
DEFINICION SENTENCIA FINAL
Ayuda(x,y)<->x ayuda a y Ayuda ( ALEJANDRO, ANDRES) ^ Ayuda (DANIEL, ALEJANDRO)
O
Ayuda(x,y)<-> y es ayudado por x
(RELACION)
4) TOBY es un CONEJO BLANCO
DEFINICION SENTENCIA FINAL
BLANCO (x)<->x es BLANCO CONEJO (TOBY)^ BLANCO (TOBY)
CONEJO (x)<-> x es CONEJO
(VERBO)
DATO: 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.).