Rule of Conjunction/Sequent Form

From ProofWiki
Jump to navigation Jump to search

Theorem

The Rule of Conjunction can be symbolised in sequent form as follows:


Formulation 1

\(\ds p\) \(\) \(\ds \)
\(\ds q\) \(\) \(\ds \)
\(\ds \vdash \ \ \) \(\ds p \land q\) \(\) \(\ds \)


Formulation 2

$\vdash p \implies \paren {q \implies \paren {p \land q} }$