Up tack: Difference between revisions
Content deleted Content added
Fixed typo Tags: Reverted possibly inaccurate edit summary Mobile edit Mobile web edit |
m Reverted edit by 2600:1008:B080:2888:E0C8:797B:1B5F:9144 (talk) to last version by JMF |
||
Line 1: | Line 1: | ||
{{Short description|Symbol used in mathematics and logic}} |
{{Short description|Symbol used in mathematics and logic}} |
||
{{refimprove|section|date=May 2014}} |
{{refimprove|section|date=May 2014}} |
||
The '''up tack''' or '''falsum''' ('''⊥''', <code>\bot</code> in [[LaTeX]], U+22A5 in [[Mathematical operators and symbols in Unicode|Unicode]]<ref name=unicode>{{cite web| title=Mathematical Operators – Unicode| url=https://www.unicode.org/charts/PDF/U2200.pdf| access-date=2013-07-20}} to represent: |
The '''up tack''' or '''falsum''' ('''⊥''', <code>\bot</code> in [[LaTeX]], U+22A5 in [[Mathematical operators and symbols in Unicode|Unicode]]<ref name=unicode>{{cite web| title=Mathematical Operators – Unicode| url=https://www.unicode.org/charts/PDF/U2200.pdf| access-date=2013-07-20}}</ref>) is a constant [[Symbol (formal)|symbol]] used to represent: |
||
* The [[truth value]] [[false (logic)|'false']], or a logical constant denoting a proposition in logic that is always false (often called "falsum" or "absurdum"). |
* The [[truth value]] [[false (logic)|'false']], or a logical constant denoting a proposition in logic that is always false (often called "falsum" or "absurdum"). |
Latest revision as of 23:10, 22 April 2024
This section needs additional citations for verification. (May 2014) |
The up tack or falsum (⊥, \bot
in LaTeX, U+22A5 in Unicode[1]) is a constant symbol used to represent:
- The truth value 'false', or a logical constant denoting a proposition in logic that is always false (often called "falsum" or "absurdum").
- The bottom element in wheel theory and lattice theory, which also represents absurdum when used for logical semantics
- The bottom type in type theory, which is the bottom element in the subtype relation. This may coincide with the empty type, which represents absurdum under the Curry–Howard correspondence
- The "undefined value" in quantum physics interpretations that reject counterfactual definiteness, as in (r0,⊥)
as well as
- Mixed radix decoding in the APL programming language
The glyph of the up tack appears as an upside-down tee symbol, and as such is sometimes called eet (the word "tee" in reverse).[citation needed] Tee plays a complementary or dual role in many of these theories.
The similar-looking perpendicular symbol (⟂, \perp
in LaTeX, U+27C2 in Unicode) is a binary relation symbol used to represent:
- Perpendicularity of lines in geometry
- Orthogonality in linear algebra
- Independence of random variables in probability theory
- Coprimality in number theory
The double tack up symbol (⫫, U+2AEB in Unicode[1]) is a binary relation symbol used to represent:
See also[edit]
Notes[edit]
- ^ a b "Mathematical Operators – Unicode" (PDF). Retrieved 2013-07-20.
- ^ "Conditional independence notation". 27 March 2020.