# Definition:Disjunction/Truth Function

## Definition

The disjunction connective defines the truth function $f^\lor$ as follows:

 $\displaystyle f^\lor \left({F, F}\right)$ $=$ $\displaystyle F$ $\displaystyle f^\lor \left({F, T}\right)$ $=$ $\displaystyle T$ $\displaystyle f^\lor \left({T, F}\right)$ $=$ $\displaystyle T$ $\displaystyle f^\lor \left({T, T}\right)$ $=$ $\displaystyle T$