From Glottopedia
Revision as of 15:02, 14 May 2008 by Luo (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

In semantics, connective is a logical operator which combines with one or more formulas to form a more complex formula.


Binary connectives, like &, v, -> and <->, combine with two formulas as in (i), the unary connective Neg combines with one formula as in (ii).


    Phi  &  Psi		(and)
    Phi  v  Psi		(or)
    Phi  -> Psi	(if ... then ...)
    Phi <-> Psi	(... if and only if ...)


    Neg Phi		(not)


The truth-value of the complex formula is always a function (a truth-function) of the truth-values of the formulas Phi and Psi, which can be represented in a truth table.


Utrecht Lexicon of Linguistics


Gamut, L.T.F. 1991. Logic, language, and meaning. Chicago: University of Chicago Press.