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

$p, q \vdash p \land q$


Formulation 2

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