Encyclopedia > Conjunction elimination

Article Content

Conjunction elimination

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

  ( A ∧ B )
  ∴ B

All Wikipedia text is available under the terms of the GNU Free Documentation License

Search Encyclopedia

Search over one million articles, find something about almost anything!

Featured Article

Thomas a Kempis

... afflictions, and biographies of Groote, Radewijns, and nine of their companions. Works similar in contents to the "Imitation of Christ" and pervaded by the same spirit ...