Rule of Conjunction/Sequent Form/Formulation 1

Theorem
The Rule of Conjunction can be symbolised by the sequent:
 * $p, q \vdash p \land q$