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

Canadian Charter of Rights and Freedoms

... Charter of Rights and Freedoms guarantees the rights and freedoms set out in it subject only to such reasonable limits prescribed by law as can be demonstrably justified in ...