Any given proposition may be represented with a letter called a 'propositional constant', analogous to representing a number by a letter in mathematics, for instance, a = 5.
Οποιαδήποτε δεδομένη πρόταση μπορεί να εκπροσωπείται με ένα γράμμα που ονομάζεται «προτασιακή σταθερά», αναλόγως ώστε να αντιπροσωπεύει μια σειρά από γράμματα στα μαθηματικά, για παράδειγμα, a = 5.