Definition:Biconditional/Truth Function

Definition
The biconditional connective defines the truth function $f^\leftrightarrow$ as follows: