Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿Qué es?
No se ha añadido ninguna twiki todavía.
(del latín constare, permanecer, mantenerse sólidamente)
Signos o símbolos del lenguaje lógico, cuyo valor o sentido no varía. Son constantes las conectivas y los cuantificadores. En lógica de predicados, son constantes también las letras de predicado (P,Q,R,...) y las constantes de individuo (a,b,c,...), que son los nombre de un objeto o individuo. Comparadas con las variables, éstas representan los objetos de que hablan los enunciados, y aquéllas el modo como se habla de ellos.