Definition:Conjunction/Notational Variants
Jump to navigation
Jump to search
Definition
Various symbols are encountered that denote the concept of logical conjunction:
| Symbol | Origin | Known as |
|---|---|---|
| $p \land q$ | wedge | |
| $p \mathop {\mathsf {AND} } q$ | ||
| $p \mathop . q$ | 1910: Alfred North Whitehead and Bertrand Russell: Principia Mathematica | dot |
| $p \mathop \And q$ | Ampersand | |
| $p \mathop {\And \And} q$ | Used in various computer programming languages | |
| $\operatorname K p q$ | Łukasiewicz's Polish notation |
Further notational variants
In view of their use of $.$ as a convention for marking a parenthesis, 1910: Alfred North Whitehead and Bertrand Russell: Principia Mathematica also offer as variants:
- $p : q$
- $p \, \mathop{:.} \, q$
- $p :: q$
Sources
- 1910: Alfred North Whitehead and Bertrand Russell: Principia Mathematica: Volume $\text { 1 }$ ... (previous) ... (next): Chapter $\text{I}$: Preliminary Explanations of Ideas and Notations
- 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: A.G. Howson: A Handbook of Terms used in Algebra and Analysis ... (previous) ... (next): $\S 1$: Some mathematical language: Connectives
- 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
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): and
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): and