¿Qué es?
Son los dos operadores que el lenguaje de la lógica de predicados añade a las conectivas, ya conocidas, del Lenguaje de enunciados. Son unarios, tienen prioridad máxima y afectan a las variables.
Son los dos operadores que el lenguaje de la lógica de predicados añade a las conectivas, ya conocidas, del Lenguaje de enunciados. Son unarios, tienen prioridad máxima y afectan a las variables.