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

French resistance

... Office of Strategic Services (OSS) also begun to sends it own agents to France in cooperation with SOE. In June 1943 SOE sent Edward Yeo-Thomas for the first time to ...