mismatches between classical disjunction and its nearest equivalents in natural languages.

An operand of a disjunction is a disjunct.

Inclusive and exclusive disjunction

Because the logical or means a disjunction formula is true when either one or both of its parts are true, it is referred to as an inclusive disjunction. This is in contrast with an exclusive disjunction, which is true when

1.Previous
3.Next