Horseshoe (symbol), the Glossary
Horseshoe (⊃, \supset in TeX) is a symbol used to represent.[1]
Table of Contents
13 relations: Alfred North Whitehead, Bertrand Russell, Glossary of mathematical symbols, List of logic symbols, Material conditional, Omega, Principia Mathematica, Propositional calculus, Set theory, Subset, Symbol, TeX, Unicode.
- Logic symbols
Alfred North Whitehead
Alfred North Whitehead (15 February 1861 – 30 December 1947) was an English mathematician and philosopher.
See Horseshoe (symbol) and Alfred North Whitehead
Bertrand Russell
Bertrand Arthur William Russell, 3rd Earl Russell, (18 May 1872 – 2 February 1970) was a British mathematician, logician, philosopher, and public intellectual.
See Horseshoe (symbol) and Bertrand Russell
Glossary of mathematical symbols
A mathematical symbol is a figure or a combination of figures that is used to represent a mathematical object, an action on mathematical objects, a relation between mathematical objects, or for structuring the other symbols that occur in a formula.
See Horseshoe (symbol) and Glossary of mathematical symbols
List of logic symbols
In logic, a set of symbols is commonly used to express logical representation. Horseshoe (symbol) and List of logic symbols are logic symbols.
See Horseshoe (symbol) and List of logic symbols
Material conditional
The material conditional (also known as material implication) is an operation commonly used in logic.
See Horseshoe (symbol) and Material conditional
Omega
Omega (-->uppercase Ω, lowercase ω; Ancient Greek ὦ, later ὦ μέγα, Modern Greek ωμέγα) is the twenty-fourth and last letter in the Greek alphabet.
See Horseshoe (symbol) and Omega
Principia Mathematica
The Principia Mathematica (often abbreviated PM) is a three-volume work on the foundations of mathematics written by mathematician–philosophers Alfred North Whitehead and Bertrand Russell and published in 1910, 1912, and 1913.
See Horseshoe (symbol) and Principia Mathematica
Propositional calculus
The propositional calculus is a branch of logic.
See Horseshoe (symbol) and Propositional calculus
Set theory
Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects.
See Horseshoe (symbol) and Set theory
Subset
In mathematics, a set A is a subset of a set B if all elements of A are also elements of B; B is then a superset of A. It is possible for A and B to be equal; if they are unequal, then A is a proper subset of B. The relationship of one set being a subset of another is called inclusion (or sometimes containment).
See Horseshoe (symbol) and Subset
Symbol
A symbol is a mark, sign, or word that indicates, signifies, or is understood as representing an idea, object, or relationship.
See Horseshoe (symbol) and Symbol
TeX
TeX (see below), stylized within the system as, is a typesetting program which was designed and written by computer scientist and Stanford University professor Donald Knuth and first released in 1978.
See Horseshoe (symbol) and TeX
Unicode
Unicode, formally The Unicode Standard, is a text encoding standard maintained by the Unicode Consortium designed to support the use of text in all of the world's writing systems that can be digitized.
See Horseshoe (symbol) and Unicode
See also
Logic symbols
- Ampersand
- Arrow (symbol)
- Conjunction/disjunction duality
- Descending wedge
- Double turnstile
- Existential quantification
- Free variables and bound variables
- Glossary of Principia Mathematica
- Horseshoe (symbol)
- List of logic symbols
- Literal (mathematical logic)
- Logical connective
- Logical connectives
- Logical constant
- Lozenge (shape)
- Metavariable
- Modal operator
- Non-logical symbol
- Predicate variable
- Propositional variable
- Sheffer stroke
- Symbol (formal)
- Tee (symbol)
- Therefore sign
- Tilde
- Triple bar
- Turned A
- Turnstile (symbol)
- Universal quantification
- Up tack
- Vertical bar
- Wedge (symbol)