Inclusive disjunction

Inclusive disjunction (also called or) is a logic operation. It normally takes two truth values as inputs and returns one truth value as output. It is false when both inputs are false, but is true otherwise. It is written with the symbol $\lor$ .^[1]

In general, given two propositions $A$ and $B$ , $A\lor B$ is true if $A$ is true, or if $B$ is true, or if both $A$ and $B$ are true.^[2]

This is different from the exclusive disjunction, which asserts "either x or y, but not both".^[3]

Related pages

References

↑ "Comprehensive List of Logic Symbols". Math Vault. 2020-04-06. Retrieved 2020-09-03.
↑ Aloni, Maria (2016). Zalta, Edward N. (ed.). The Stanford Encyclopedia of Philosophy (Winter 2016 ed.). Metaphysics Research Lab, Stanford University.
↑ "Disjunction | logic". Encyclopedia Britannica. Retrieved 2020-09-03.

This short article can be made longer. You can help Wikipedia by adding to it.

[1] "Comprehensive List of Logic Symbols". Math Vault. 2020-04-06. Retrieved 2020-09-03.

[2] Aloni, Maria (2016). Zalta, Edward N. (ed.). The Stanford Encyclopedia of Philosophy (Winter 2016 ed.). Metaphysics Research Lab, Stanford University.

[3] "Disjunction | logic". Encyclopedia Britannica. Retrieved 2020-09-03.

[1]

[2]

[3]