Search the lexicon



SEMANTICS: 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).

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

(ii) 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.
LIT. Gamut, L.T.F. (1991)