Difference between revisions of "Propositional letters"
Jump to navigation
Jump to search
Wohlgemuth (talk | contribs) m (utrecht) |
(Edited the format, removed the block {{cats}}) |
||
Line 1: | Line 1: | ||
+ | ==Definition== | ||
'''Propositional letters''' are the basic expressions of a propositional language (also called propositional variables, as opposed to [[logical constant]]<nowiki>s 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 </nowiki>[[propositional logic]]. | '''Propositional letters''' are the basic expressions of a propositional language (also called propositional variables, as opposed to [[logical constant]]<nowiki>s 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 </nowiki>[[propositional logic]]. | ||
− | + | == Links == | |
− | + | *[http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Propositional+letters&lemmacode=454 Utrecht Lexicon of Linguistics] | |
− | [http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Propositional+letters&lemmacode=454 Utrecht Lexicon of Linguistics] | ||
− | |||
− | |||
+ | ==References == | ||
* Gamut, L.T.F. 1991. ''Logic, language, and meaning,'' Univ. of Chicago Press, Chicago. | * Gamut, L.T.F. 1991. ''Logic, language, and meaning,'' Univ. of Chicago Press, Chicago. | ||
Line 12: | Line 11: | ||
[[Category:Semantics]] | [[Category:Semantics]] | ||
− | {{stub | + | {{stub}} |
Latest revision as of 19:14, 27 September 2014
Definition
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
References
- Gamut, L.T.F. 1991. Logic, language, and meaning, Univ. of Chicago Press, Chicago.
STUB |