Propositional formula

From Glottopedia
Revision as of 13:04, 20 February 2009 by Wohlgemuth (talk | contribs) (utrecht)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

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

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.