# Rule of Implication/Proof Rule/Tableau Form

Let $\phi$ and $\psi$ be two propositional formulas in a tableau proof.
The Rule of Implication is invoked for $\phi$ and $\psi$ in the following manner:
 Pool: The pooled assumptions of $\psi$ Formula: $\phi \implies \psi$ Description: Rule of Implication Depends on: The series of lines from where the assumption $\phi$ was made to where $\psi$ was deduced Discharged Assumptions: The assumption $\phi$ is discharged Abbreviation: $\text{CP}$ or $\implies \mathcal I$