In propositional logic, simplificationCopi and CohenMoore and ParkerHurley (equivalent to conjunction elimination) is a valid immediate inference, argument form 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. The rule makes it possible to shorten longer proofs by deriving one of the conjuncts of a conjunction on a line by itself.
achieve simplificationsimplification meaning: Noun: simplification `simplufi'keyshun An explanation that omits superfluous details and reduces complexity Elimination of superfluous details The act of reducing compl...