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

... - Wikipedia <<Up Contents Autocracy Autocracy is a form of government which resides in the absolute power of a single individual. The term ...