Logic: A → propositional symbol that represents any→ proposition whatsoever.
See also: → propositional; → variable.