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