In mathematical logic,
simplification (equivalent to conjunction
elimination) is a valid argument and rule of inference which makes the inference that, if the conjunction A and B is
true, then A is true, and B is true.
In formal language:
or
The argument has one premise, namely a conjunction, and one often uses simplification in longer arguments to derive one of the conjuncts.
An example in English:
