User:Lord Farin/Tableau Proof Rules/Assumption

Assumption
Introduces an additional assumption $p$.


 * align="right" | $i$ ||
 * align="right" | $i$
 * $p$
 * $\textrm A$
 * (None)
 * (None)