19 Introduccion intuitiva a la formalizacion
IDEA: Ampliar la logica proposicional para poder formalizar (y demostrar la correccion) de razonamientos del tipo:
“Socrates es humano. Todo humano es mortal. Por tanto, Socrates es mortal.”
Formalizacion con proposicional:
Con logica de predicados:
Dominio:
-
Simbolos:
-
Socrates (s es una constante). -
es humano ( es un simbolo de predicado de aridad 1). -
es mortal ( es un simbolo de predicado de aridad 1)
Formalizacion:
Ejemplo.
Vamos a formalizar las sigueintes frases con logica de predicados en el dominio formado por las personas.
Dominio:
Simbolos:
-
: Antonio ( es una constante). -
: Barbara ( es una constante). -
es moreno ( es un simbolo de predicado de aridad 1). -
es rubio ( es un simbolo de predicado de aridad 1).
Formalizaciones:
-
: Antonio es moreno. -
: Barbara es rubia. -
-
Simbolos:
-
: es sevillano ( es un simbolo de predicado de aridad 1). -
: es toledano ( es un simbolo de predicado de aridad 1). -
: la madre de ( es un simbolo de predicado de aridad 1).
Formalizaciones:
-
Todos los sevillanos son morenos:
-
Hay toledanos rubios:
-
La madre de Antonio es rubia:
-
Barbara es la madre de Antonio:
.
Simbolos:
-
: es mas alto que ( es un simbolo de pred. de aridad 2 )
Formalizaciones:
-
Antonio es mas alto que Barbara:
-
Todo el mundo es mas alto que Barbara:
-
Hay gente rubia mas alta que la madre de Antonio: