Category: Logic symbols

Up tack
The up tack or falsum (⊥, \bot in LaTeX, U+22A5 in Unicode) is a constant symbol used to represent: * The truth value 'false', or a logical constant denoting a proposition in logic that is always fal
Thus symbol
No description available.
Double turnstile
In logic, the symbol ⊨, ⊧ or is called the double turnstile. It is often read as "entails", "models", "is a semantic consequence of" or "is stronger than". It is closely related to the turnstile symbo
The tilde (/ˈtɪldeɪ, -di, -də, ˈtɪld/) ˜ or ~, is a grapheme with several uses. The name of the character came into English from Spanish, which in turn came from the Latin titulus, meaning "title" or
No description available.
No description available.
Sheffer stroke
In Boolean functions and propositional calculus, the Sheffer stroke denotes a logical operation that is equivalent to the negation of the conjunction operation, expressed in ordinary language as "not
Free variables and bound variables
In mathematics, and in other disciplines involving formal languages, including mathematical logic and computer science, a free variable is a notation (symbol) that specifies places in an expression wh
No description available.
No description available.
No description available.
No description available.
Wedge (symbol)
Wedge (∧) is a symbol that looks similar to an in-line caret (^). It is used to represent various operations. In Unicode, the symbol is encoded U+2227 ∧ LOGICAL AND (∧, ∧) and by \wedge and \land in T
Non-logical symbol
In logic, the formal languages used to create expressions consist of symbols, which can be broadly divided into constants and variables. The constants of a language can further be divided into logical
Therefore sign
In logical argument and mathematical proof, the therefore sign, ∴, is generally used before a logical consequence, such as the conclusion of a syllogism. The symbol consists of three dots placed in an
Triple bar
The triple bar, or tribar ≡, is a symbol with multiple, context-dependent meanings. It has the appearance of an equals sign ⟨=⟩ sign with a third line. The triple bar character in Unicode is code poin
No description available.
No description available.
Tee (symbol)
The tee (⊤, op in LaTeX) also called down tack (as opposed to the up tack) or verum is a symbol used to represent: * The top element in lattice theory. * The truth value of being true in logic, or
Lozenge (shape)
A lozenge (/ˈlɒzɪndʒ/ LOZ-inj; symbol: ◊), often referred to as a diamond, is a form of rhombus. The definition of lozenge is not strictly fixed, and the word is sometimes used simply as a synonym (fr
Literal (mathematical logic)
In mathematical logic, a literal is an atomic formula (also known as an atom or prime formula) or its negation. The definition mostly appears in proof theory (of classical logic), e.g. in conjunctive
No description available.
Horseshoe (symbol)
Horseshoe (⊃, \supset in TeX) is a symbol used to represent: * Material conditional in propositional logic * Superset in set theory It was used by Whitehead and Russell in Principia Mathematica. In
No description available.
Symbol (formal)
A logical symbol is a fundamental concept in logic, tokens of which may be marks or a configuration of marks which form a particular pattern. Although the term "symbol" in common use refers at some ti
No description available.
List of logic symbols
In logic, a set of symbols is commonly used to express logical representation. The following table lists many common symbols, together with their name, how they should be read out loud, and the relate
Modal operator
A modal connective (or modal operator) is a logical connective for modal logic. It is an operator which forms propositions from propositions. In general, a modal operator has the "formal" property of
No description available.
The ampersand, also known as the and sign, is the logogram &, representing the conjunction "and". It originated as a ligature of the letters et—Latin for "and".
Arrow (symbol)
An arrow is a graphical symbol, such as ← or →, or a pictogram, used to point or indicate direction. In its simplest form, an arrow is a triangle, chevron, or concave kite, usuallyaffixed to a line se
No description available.
In logic, a metavariable (also metalinguistic variable or syntactical variable) is a symbol or symbol string which belongs to a metalanguage and stands for elements of some object language. For instan
Descending wedge
The descending wedge symbol ∨ may represent: * Logical disjunction in propositional logic * Join in lattice theory * The wedge sum in topology The vertically reflected symbol, ∧, is a wedge, and of
Propositional variable
In mathematical logic, a propositional variable (also called a sentential variable or sentential letter) is an input variable (that can either be true or false) of a truth function. Propositional vari
Logical constant
In logic, a logical constant of a language is a symbol that has the same semantic value under every interpretation of . Two important types of logical constants are logical connectives and quantifiers
Existential quantification
In predicate logic, an existential quantification is a type of quantifier, a logical constant which is interpreted as "there exists", "there is at least one", or "for some". It is usually denoted by t
Eet (symbol)
No description available.
Predicate variable
In mathematical logic, a predicate variable is a predicate letter which functions as a "placeholder" for a relation (between terms), but which has not been specifically assigned any particular relatio
Logical connective
In logic, a logical connective (also called a logical operator, sentential connective, or sentential operator) is a logical constant. They can be used to connect logical formulas. For instance in the
No description available.
Universal quantification
In mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any" or "for all". It expresses that a predicate can be satisfied by every
No description available.
No description available.
No description available.
Vertical bar
The vertical bar, |, is a glyph with various uses in mathematics, computing, and typography. It has many names, often related to particular meanings: Sheffer stroke (in logic), pipe, bar, or (literall
Turned A
Turned A (capital: Ɐ, lowercase: ɐ, math symbol ∀) is a letter and symbol based upon the letter A.
Glossary of Principia Mathematica
This is a list of the notation used in Alfred North Whitehead and Bertrand Russell's Principia Mathematica (1910–1913). The second (but not the first) edition of Volume I has a list of notation used a
Turnstile (symbol)
In mathematical logic and computer science the symbol has taken the name turnstile because of its resemblance to a typical turnstile if viewed from above. It is also referred to as tee and is often re