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$ | |
$\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
- 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