Biconditonal statement A biconditional statement is a statement that can be written in if and only if form. All definitions are biconditional statements because they are reversible.