Autores, Editores, Burócratas, Administradores
2226
ediciones
sin resumen de edición
La extensión de una constante o variable (similar a un nombre propio) es un individuo en <math>\mathbb{U}</math>. La extensión de un símbolo de función es una función en <math>\mathbb{U}</math>. Así, informalmente, la extensión de una constante podría ser el individuo <math>\mathsf{Plat\acute on}</math> y la extensión de un símbolo de función, la función <math>\mathsf{el\; maestro\; de\; ()}</math>. De este modo, al componer una función con otro término, el resultado será un individuo en <math>\mathbb{U}</math>.
'''Comentario 2.9'''
Los símbolos de predicado de un argumento se interpretan con conjuntos de individuos, pues la extensión de un predicado es el conjunto de objetos que satisfacen ese predicado. Así el predicado '... es humano' tiene como extensión el conjunto de mujeres y hombres. Los símbolos de predicados de dos argumentos (aka símbolos de relación) se interpretan con conjuntos de ''pares'' de individuos, pues el "objeto" que satisface un símbolo de relación no es un individuo sino un par de individuos. Así, la relación '... es madre de...' es satisfecha por el par <math>\langle\mathsf{María,\; Jes\acute us}\rangle</math> pero no por el par <math>\langle\mathsf{María,\; Jes\acute us}\rangle</math>.
<div align="center">***</div>
