User:Lord Farin/Tableau Proof Rules/Addition

Addition

Given statement $p$, we have also $p \lor q$ and $q \lor p$.

Line		Pool	Formula	Rule	Depends upon	Notes
$i$		$I$	$p$	?	?
$j$		$I$	$p \lor q$	$\lor \mathcal I_1$	$i$
$k$		$I$	$q \lor p$	$\lor \mathcal I_2$	$i$

Wiki code

|-
| align="right" | $j$ ||
| align="right" | $I$
| $p \lor q$
| [[Rule of Addition|$\lor \mathcal I_1$]]
| $i$
|-
| align="right" | $k$ ||
| align="right" | $I$
| $q \lor p$
| [[Rule of Addition|$\lor \mathcal I_2$]]
| $i$