HERRAMIENTAS DE LOGICA COMPUTACIONAL

 
 
 
CALCULO DE PREDICADOS

 
PROFESOR: 
Natalia Martinez

Oscar Yesid Gutiérrez Parra

 
 
INSTITUCIÓN UNIVERSITARIA POLITÉCNICO GRANCOLOMBIANO 
FACULTAD DE INGENIERÍA, DISEÑO E INNOVACIÓN 
ESCUELA DE TECNOLOGÍAS DE INFORMACIÓN Y TELECOMUNICACIONES 
INGENIERÍA DE SOFTWARE
 Calculo de predicados

Contexto:

Hay ingenieros de sistemas que dadas sus habilidades y conocimientos tienen una mayor
posibilidad de cometer el robo de la identidad digital, para fines personales o de lucro, tanto en
Internet como en redes sociales, se produce o bien suplantando la identidad digital de un usuario
de Internet y redes sociales, o robando sus claves y contraseñas para acceso a las mismas, con
fines generalmente, delictivos, siendo delito en si mismo el robo o la suplantación de la identidad
en Internet.

Ejemplo

Los ingenieros de sistemas son delincuentes

 Cuantificador existencial: universo de Ingenieros de sistemas

 Predicados:

I(x): Ingeniero de sistemas

d(x): Delincuente

 Simbolización:
Ǝ x ϵ U tal que d (x)

Limitacion:

El universo debe ser personas graduadas en ingeniería de sistemas