Variable proposicional

Símbolo empleado en una proposición lógica, que representa una entidad lógica; que se puede elegir o asignar con cierta libertad, dentro de un cierto ámbito conceptual, llamado “dominio de variación” de la variable, y que se caracteriza por poseer ciertas propiedades comunes a todos sus miembros, pero sin que eso permita establecer qué otras propiedades podrán distinguir esa entidad, de otras pertenecientes al mismo dominio. Véase Lógica, lenguaje y símbolos..