Entrega 2 Herramientas de Lógica Computacional
Entrega 2 Herramientas de Lógica Computacional
Entrega 2 Herramientas de Lógica Computacional
EJEMPLO CONCRETO
Definición de predicados
o P(x): x es ingeniero de sistemas
o C(x): x se especializa en seguridad informática
Simbolización
∃ x ∈∪ tal que P ( x ) ∧C ( x )
LIMITACIONES DE USO
El universo debe ser las personas profesionales en ingeniería de sistemas porque para
especializarse en seguridad informática se debe ser profesional.
REFERENCIAS
https://es.wikipedia.org/wiki/Seguridad_inform%C3%A1tica