Up tack
id:
up-tack-302-12504142
title:
Up tack
text:
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.
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 quantu
brand slug:
wiki
category slug:
encyclopedia
description:
Symbol used in mathematics and logic
original url:
https://en.wikipedia.org/wiki/Up_tack
date created:
date modified:
2024-04-22T23:10:39Z
main entity:
{"identifier":"Q3594846","url":"https://www.wikidata.org/entity/Q3594846"}
image:
fields total:
13
integrity:
14