Encyclopedia > Disjunction introduction

Article Content

Disjunction introduction

Disjunction introduction is the principle that, if A is true, then it's true that either A or B is true.

For example, if it's true that it's raining outside, it's trivially true[?] that either it's raining outside, or my car is freshly waxed. Since a disjunction is true if at least one of the terms is true, and we know that one of the terms is true, the second term is irrelevant for determining the truth value of the disjunction.

Formally:

  A           
  ∴ ( A ∨ B )

See also: logical disjunction

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

Jamesport, New York

... is 133.3/km² (345.1/mi²). There are 959 housing units at an average density of 83.8/km² (216.9/mi²). The racial makeup of the town is 98.03% White, ...