propositional constant

Noun

 * 1)  One of a set of letters or symbols which are assigned fixed truth values independently of any interpretation or valuation, and each of which qualifies as a prime formula of their language.

Related terms

 * propositional variable