Principle of Non-Contradiction/Proof Rule/Tableau Form

Proof Rule
Let $\phi$ be a statement form in a tableau proof.

The Principle of Non-Contradiction is invoked for $\phi$ and $\neg \phi$ in the following manner: