Rule of Simplification/Sequent Form

Theorem
The rule of simplification can be symbolised by the sequents:
 * $(1): \quad p \land q \vdash p$
 * $(2): \quad p \land q \vdash q$