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

Quackery

... past was in fact quackery. Nowadays, doctors are often paid a very large salary, much more than most of the people they treat. They often receive money for a consultation, ...