Simplification (simp) is one of the rules in propositional logic. It is very simple, but one of the strengths of propositional logic is that it makes even the most simple parts of a logical argument explicit. Simplification goes thuswise:
P*Q (P and Q)
Therefore, P
But beware! If you are being completely orthodox, you cannot say that:
P*Q
Therefore,Q
If you want Q, you have to use Commutativity first, to get Q*P.
Key:
* represents 'and'
P and Q represent statements.
See also the rule of Addition, which is essentially the reverse of the rule of simplification.