Rule of Addition/Sequent Form/Formulation 1

From ProofWiki
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 \)