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

KANU

... several new parties had formed, and multiparty elections were held in December 1992. President Moi was reelected for another 5-year term. Opposition parties won about 45% ...