Difference between revisions of "Propositional formula"
Jump to navigation
Jump to search
Wohlgemuth (talk | contribs) m (utrecht) |
(Edited the format, removed the block {{cats}}) |
||
| Line 1: | Line 1: | ||
| + | ==Definition== | ||
'''Propositional formula''' is a [[well-formed]] expression of [[propositional logic]]. What counts as a propositional formula is defined by the syntax of propositional logic: | '''Propositional formula''' is a [[well-formed]] expression of [[propositional logic]]. What counts as a propositional formula is defined by the syntax of propositional logic: | ||
| Line 10: | Line 11: | ||
The clauses (a)-(c) define what counts as a formula; clause (d) states that nothing else can be a formula of L. | The clauses (a)-(c) define what counts as a formula; clause (d) states that nothing else can be a formula of L. | ||
| − | + | == Links == | |
| − | + | *[http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Propositional+formula&lemmacode=452 Utrecht Lexicon of Linguistics] | |
| − | [http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Propositional+formula&lemmacode=452 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 21: | Line 20: | ||
[[Category:Semantics]] | [[Category:Semantics]] | ||
| − | {{stub | + | {{stub}} |
Latest revision as of 19:13, 27 September 2014
Definition
Propositional formula is a well-formed expression of propositional logic. What counts as a propositional formula is defined by the syntax of propositional logic:
(i) a propositional letters in the vocabulary of L are formulas in L
b if psi is a formula of L, Neg psi is too
c if phi and psi are formulas in L, (phi & psi), (phi V psi),
(phi -> psi) and (phi <-> psi) are too
d only that which can be generated by the clauses (a)-(c) in a
finite number of steps is a formula in L.
The clauses (a)-(c) define what counts as a formula; clause (d) states that nothing else can be a formula of L.
Links
References
- Gamut, L.T.F. 1991. Logic, language, and meaning, Univ. of Chicago Press, Chicago.
| STUB |
