propositional constant

From Wiktionary, the free dictionary