Falsum
Encyclopedia
The up tack is a constant symbol
used to represent:
It appears as the upside down tee symbol
.
The similar-looking perpendicular symbol (⊥, \perp in TeX) is a binary relation symbol used to represent:
Symbol
A symbol is something which represents an idea, a physical entity or a process but is distinct from it. The purpose of a symbol is to communicate meaning. For example, a red octagon may be a symbol for "STOP". On a map, a picture of a tent might represent a campsite. Numerals are symbols for...
used to represent:
- Bottom element in lattice theory.
- The bottom typeBottom typeIn type theory, a theory within mathematical logic, the bottom type is the type that has no values. It is also called the zero or empty type, and is sometimes denoted with falsum .A function whose return type is bottom cannot return any value...
in type theory. - A logical constant denoting contradictionContradictionIn classical logic, a contradiction consists of a logical incompatibility between two or more propositions. It occurs when the propositions, taken together, yield two conclusions which form the logical, usually opposite inversions of each other...
(falsum) in logic.
It appears as the upside down tee symbol
Tee (symbol)
A tee is a symbol used to represent:*Top element in lattice theory.*A logical constant denoting a tautology in logic.In Unicode the symbol is encoded .-See also:*⊢*Falsum, Up tack: *Table of mathematical symbols...
.
The similar-looking perpendicular symbol (⊥, \perp in TeX) is a binary relation symbol used to represent:
- PerpendicularityPerpendicularIn geometry, two lines or planes are considered perpendicular to each other if they form congruent adjacent angles . The term may be used as a noun or adjective...
of lines in geometry. - OrthogonalityOrthogonalityOrthogonality occurs when two things can vary independently, they are uncorrelated, or they are perpendicular.-Mathematics:In mathematics, two vectors are orthogonal if they are perpendicular, i.e., they form a right angle...
in linear algebra. - Independence of random variables in probability theory.
- ComparabilityComparabilityIn mathematics, any two elements x and y of a set P that is partially ordered by a binary relation ≤ are comparable when either x ≤ y or y ≤ x...
in order theoryOrder theoryOrder theory is a branch of mathematics which investigates our intuitive notion of order using binary relations. It provides a formal framework for describing statements such as "this is less than that" or "this precedes that". This article introduces the field and gives some basic definitions...
. - In number theory it is often used to indicate two integers are coprimeCoprimeIn number theory, a branch of mathematics, two integers a and b are said to be coprime or relatively prime if the only positive integer that evenly divides both of them is 1. This is the same thing as their greatest common divisor being 1...
, written as "a ⊥ b".