What is the meaning of ⊥?
A contradiction; a truth value corresponding to false.
The bottom element of a lattice.
The bottom type of a type system.
The ISO 2047 symbol for Start of Text.
Source: wiktionary.orgSearch words containing
A contradiction; a truth value corresponding to false.
The bottom element of a lattice.
The bottom type of a type system.
The ISO 2047 symbol for Start of Text.
Source: wiktionary.orgSearch words containing