# Definition:Disjunction/Truth Function

The disjunction connective defines the truth function $f^\lor$ as follows:
 $\ds \map {f^\lor} {\F, \F}$ $=$ $\ds \F$ $\ds \map {f^\lor} {\F, \T}$ $=$ $\ds \T$ $\ds \map {f^\lor} {\T, \F}$ $=$ $\ds \T$ $\ds \map {f^\lor} {\T, \T}$ $=$ $\ds \T$