Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01847273n
Noun Concept
Categories: Mathematical notation, Logic symbols, Mathematical symbols
EN
up tack  Absurdum  bottom sign  bottom symbol  Double tack up
EN
The up tack or falsum is a constant symbol used to represent: The truth value 'false', or a logical constant denoting a proposition in logic that is always false. Wikipedia
Definitions
Relations
Sources
EN
The up tack or falsum is a constant symbol used to represent: The truth value 'false', or a logical constant denoting a proposition in logic that is always false. Wikipedia
Mathematical symbol; the bottom element in lattice theory; the bottom type in type theory; a logical constant denoting contradiction in logic (false) Wikidata
IS A
character
symbol
list of mathematical symbols
Wikipedia
EN
up tack
Wikidata
EN
up tack
Wikipedia Redirections
EN
Absurdum, Double tack up, eet (symbol), falsum, perpendicular symbol, Uptack, ⊥, ⟂, ⟘, ⟟, ⫫
Wikidata Alias
EN
bottom sign, bottom symbol, falsum, ⊥

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License