Propositional letters

Propositional letters are the basic expressions of a propositional language (also called propositional variables, as opposed to logical constants like Neg and &). Conventionally, a letter from the range {p, q, r or a p with primes (p',p'',...) represents a single proposition. The propositional formulas of propositional logic are built from propositional letters and connectives. Propositional letters should be distinguished from metavariables such as phi and psi which are used in the definitions of the logic. See also propositional logic.

Links

Utrecht Lexicon of Linguistics

References

• Gamut, L.T.F. 1991. Logic, language, and meaning, Univ. of Chicago Press, Chicago.

STUB

CAT	This article needs proper categorization. You can help Glottopedia by categorizing it Please do not remove this block until the problem is fixed.