Definition:Disjunction/Notational Variants
Jump to navigation
Jump to search
Definition
Various symbols are encountered that denote the concept of disjunction:
| Symbol | Origin | Known as |
|---|---|---|
| $p \lor q$ | 1910: Alfred North Whitehead and Bertrand Russell: Principia Mathematica | vee or vel |
| $p\ \mathsf{OR} \ q$ | ||
| $p \mathop \| q$ | Used in various computer programming languages | |
| $p + q$ | ||
| $\operatorname A p q$ | Łukasiewicz's Polish notation |
Sources
- 1946: Alfred Tarski: Introduction to Logic and to the Methodology of Deductive Sciences (2nd ed.) ... (previous) ... (next): $\S \text{II}.13$: Symbolism of sentential calculus
- 1972: Patrick Suppes: Axiomatic Set Theory (2nd ed.) ... (previous) ... (next): $\S 1.2$ Logic and Notation
- 1973: Irving M. Copi: Symbolic Logic (4th ed.) ... (previous) ... (next): $2$ Arguments Containing Compound Statements: $2.1$: Simple and Compound Statements
- 1980: D.J. O'Connor and Betty Powell: Elementary Logic ... (previous) ... (next): Appendix