Rule of Addition/Sequent Form/Formulation 1
Jump to navigation
Jump to search
Theorem
\(\text {(1)}: \quad\) | \(\ds p\) | \(\) | \(\ds \) | |||||||||||
\(\ds \vdash \ \ \) | \(\ds p \lor q\) | \(\) | \(\ds \) |
\(\text {(2)}: \quad\) | \(\ds q\) | \(\) | \(\ds \) | |||||||||||
\(\ds \vdash \ \ \) | \(\ds p \lor q\) | \(\) | \(\ds \) |
Form 1
\(\ds p\) | \(\) | \(\ds \) | ||||||||||||
\(\ds \vdash \ \ \) | \(\ds p \lor q\) | \(\) | \(\ds \) |
Form 2
\(\ds q\) | \(\) | \(\ds \) | ||||||||||||
\(\ds \vdash \ \ \) | \(\ds p \lor q\) | \(\) | \(\ds \) |