Definition:Logical Not/Notational Variants
Jump to navigation
Jump to search
Definition
Various symbols are encountered that denote the concept of the logical not:
| Symbol | Origin | Known as |
|---|---|---|
| $\neg p$ | ||
| $\mathsf{NOT}\ p$ | ||
| $\sim p$ or $\tilde p$ | 1910: Alfred North Whitehead and Bertrand Russell: Principia Mathematica | tilde or curl |
| $- p$ | ||
| $\bar p$ | Bar $p$ | |
| $p'$ | $p$ prime or $p$ complement | |
| $! p$ | Bang $p$ | |
| $/ p$ | ||
| $\operatorname{N} p$ | Ł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
- 1961: David V. Widder: Advanced Calculus (2nd ed.) ... (previous) ... (next): $1$ Partial Differentiation: $\S 2$. Functions of One Variable: $2.1$ Limits and Continuity
- 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
- 1988: Alan G. Hamilton: Logic for Mathematicians (2nd ed.) ... (previous) ... (next): $\S 1$: Informal statement calculus: $\S 1.1$: Statements and connectives
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): not
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): not