Rule of Conjunction/Sequent Form

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} }$
This article is issued from ProofWiki. The text is available under Creative Commons Attribution-ShareAlike License unless otherwise noted. Additional terms may apply for the media files.