Professional Documents
Culture Documents
Mart6n es persona
$limina ambigKedad
9lfabeto
-inta%is
-em.ntica
Lgica de Primer Orden
$l%a&eto
/rinda un conjunto de s6mbolos con los 7ue trabajar
$lementos b.sicos del alfabeto:
'onstantes: representan objetos concretos del dominio =L>
(aria&les: representan objetos no espec6ficos del dominio =L>
Predicados: todo predicado tiene asociado un nJmero n denominado aridad,
' 7ue se e%presa como 2predicado)n4