Encyclopedia > Disjunction elimination

Article Content

Disjunction elimination

In propositional calculus disjunction elimination is the inference that, if A or B is true, and both A and B entail C, then we may justifiably infer C.

For example, it's true that either I'm inside or I'm outside. It's also true that if I'm inside, I have my wallet on me. It's also true that if I'm outside, I have my wallet on me. Given these three premises, it follows that I have my wallet on me.

Formally:

  ( A ∨ B )
  ( A → C )
  ( B → C )
  ∴ C

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

... 400 different editions. De Backer (Essai, ut inf.) enumerates 545 Latin and about 900 French editions. Originally written in Latin, a French translation was made ...