Rule of Implication/Proof Rule/Tableau Form

Proof Rule
Let $\phi$ and $\psi$ be two well-formed formulas in a tableau proof.

The Rule of Implication is invoked for $\phi$ and $\psi$ in the following manner: