•   Wikis

# Conjunction elimination: Wikis

Note: Many of our articles have direct quotes from sources you can cite, within the Wikipedia article! This article doesn't yet, but we're working on it! See more info or our list of citable articles.

# Encyclopedia

(Redirected to Simplification article)

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.

$A \and B \vdash A$

or

$A \and B \vdash B$

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:

It's raining and it's pouring.
Therefore it's raining.