Biconditional Introduction

Proof Rule
The rule of biconditional introduction is a valid argument in types of logic dealing with conditionals $\implies$ and biconditionals $\iff$.

This includes classical propositional logic and predicate logic, and in particular natural deduction.

Also see

 * Definition:Biconditional
 * Definition:Conditional
 * Biconditional Elimination