Rule of Simplification

Sequent
The rule of simplification is a valid deduction sequent in propositional logic.

Also see

 * Rule of Conjunction