15 relations: Alfred North Whitehead, Bertrand Russell, Join and meet, Lattice (order), List of logic symbols, List of mathematical symbols, Logical disjunction, Principia Mathematica, Propositional calculus, Symbol, TeX, Topology, Unicode, Wedge (symbol), Wedge sum.
Alfred North Whitehead (15 February 1861 – 30 December 1947) was an English mathematician and philosopher.
Bertrand Arthur William Russell, 3rd Earl Russell, (18 May 1872 – 2 February 1970) was a British philosopher, logician, mathematician, historian, writer, social critic, political activist, and Nobel laureate.
In a partially ordered set P, the join and meet of a subset S are respectively the supremum (least upper bound) of S, denoted ⋁S, and infimum (greatest lower bound) of S, denoted ⋀S.
A lattice is an abstract structure studied in the mathematical subdisciplines of order theory and abstract algebra.
In logic, a set of symbols is commonly used to express logical representation.
This is a list of symbols used in all branches of mathematics to express a formula or to represent a constant.
In logic and mathematics, or is the truth-functional operator of (inclusive) disjunction, also known as alternation; the or of a set of operands is true if and only if one or more of its operands is true.
The Principia Mathematica (often abbreviated PM) is a three-volume work on the foundations of mathematics written by Alfred North Whitehead and Bertrand Russell and published in 1910, 1912, and 1913.
Propositional calculus is a branch of logic.
A symbol is a mark, sign or word that indicates, signifies, or is understood as representing an idea, object, or relationship.
TeX (see below), stylized within the system as TeX, is a typesetting system (or "formatting system") designed and mostly written by Donald Knuth and released in 1978.
In mathematics, topology (from the Greek τόπος, place, and λόγος, study) is concerned with the properties of space that are preserved under continuous deformations, such as stretching, crumpling and bending, but not tearing or gluing.
Unicode is a computing industry standard for the consistent encoding, representation, and handling of text expressed in most of the world's writing systems.
Wedge (∧) is a symbol that looks similar to an in-line caret (^).
In topology, the wedge sum is a "one-point union" of a family of topological spaces.