Logical disjunction: Difference between revisions
Jump to navigation
Jump to search
imported>SchlurcherBot m Bot: http → https |
imported>Limestonelion m Copyedit: grammar |
||
| Line 30: | Line 30: | ||
==Inclusive and exclusive disjunction== | ==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 one or the other of the arguments | 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 one or the other of the arguments is true, but not both (referred to as ''exclusive or'', or ''XOR''). | ||
When it is necessary to clarify whether inclusive or exclusive ''or'' is intended, English speakers sometimes | When it is necessary to clarify whether inclusive or exclusive ''or'' is intended, English speakers sometimes use the phrase ''[[and/or]]''. In terms of logic, this phrase is identical to ''or'', but makes the inclusion of both being true explicit. | ||
==Notation== | ==Notation== | ||