User:Lord Farin/Tableau Proof Rules/Assumption
Jump to navigation
Jump to search
Assumption
Introduces an additional assumption $p$.
Line | Pool | Formula | Rule | Depends upon | Notes | |
---|---|---|---|---|---|---|
$i$ | $i$ | $p$ | Rule of Assumption | (None) |
Wiki code
|- | align="right" | $i$ || | align="right" | $i$ | $p$ | [[Rule of Assumption]] | (None)