Hola! estoy resolviendo el inciso (a).lll de la P2, donde estoy buscando algo que satisfaga al predicado \Phi_3. Se me ocurrió cierta interpretación para S ternario la cual se satisface solamente en el caso de que x=y, además, el dominio debe ser de solamente un elemento. Si tomando todas esas restricciones se cumple, ¿todo bien? Es decir, si para todo y, x toma exactamente ese mismo valor, entonces el predicado sería satisfecho. ¿Es legal eso? ¿tiene sentido dentro de lógica de predicados?
Gracias!
Hola! estoy resolviendo el inciso (a).lll de la P2, donde estoy buscando algo que satisfaga al predicado \Phi_3. Se me ocurrió cierta interpretación para S ternario la cual se satisface solamente en el caso de que x=y, además, el dominio debe ser de solamente un elemento. Si tomando todas esas restricciones se cumple, ¿todo bien? Es decir, si para todo y, x toma exactamente ese mismo valor, entonces el predicado sería satisfecho. ¿Es legal eso? ¿tiene sentido dentro de lógica de predicados? Gracias!