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

Wheatley Heights, New York

... of 3.5 km² (1.4 mi²). 3.5 km² (1.4 mi²) of it is land and none of the area is covered with water. Demographics As of the census of 2000, there are ...