A partir de miércoles seguimos con el tema! Si alguien tiene dudas id preguntando, por favor!
De momento planteo yo una pregunta (sin respuesta, para que penséis):
Por qué introducimos la igualdad como una constante lógica y no decimos simplemente que es una relación más?
#121 me acabo de acordar de esto. no sé si es a lo q te referías pero la igualdad no compone nombres de clases sino que compone enunciados sobre ellas. puede ser q por ahí vayan los tiros?
#122 mm no sé bien a qué te refieres con componer nombres/enunciados de clases. x = y es una fórmula correcta del lenguaje, igual que para todo x existe y tal que f(x) = y lo es. lo que si es cierto es que x = y no es un término del mismo, no puedes hacer f(x=y), pero tampoco puedes en general con una relación binaria cualquiera: f(R(x,y)) no tiene sentido.
Lo cierto es que hay gente que estudia la lógica sin incluir la igualdad como un elemento básico sino añadiéndo siempre su definición como una relación binaria.
