The Conjunction elimination reference article from the English Wikipedia on 24-Jul-2004 (provided by Fixed Reference: snapshots of Wikipedia from wikipedia.org)

Conjunction elimination

In logic, Conjunction elimination is the inference that, if the conjunction A and B is true, then A is true, and B is true.

For instance, if it's true that it's raining, and I'm inside, then one may assert either term of the conjunction alone: it's raining, or I'm inside.

Formally:

 ( A ∧ B )

 ∴ A

or

 ( A ∧ B )

 ∴ B

This is the "Conjunction elimination" reference article from the English Wikipedia. All text is available under the terms of the GNU Free Documentation License. See also our Disclaimer.