bn:01847273n
Noun Concept
Categories: Logic symbols, Mathematical notation, 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
Wikipedia
EN
Wikidata
EN
Wikidata Alias