Rule of Simplification/Sequent Form/Formulation 1

Theorem

 * $(1): \quad p \land q \vdash p$
 * $(2): \quad p \land q \vdash q$