Logic: A → propositional symbol that represents a → specific → proposition.
See also: → propositional; → constant.