Definition:Disjunction/Truth Function

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