- Applied mathematics
- >
- Theoretical computer science
- >
- Formal languages
- >
- Logic symbols

- Combinatorics
- >
- Combinatorics on words
- >
- Formal languages
- >
- Logic symbols

- Deductive reasoning
- >
- Metalogic
- >
- Formal languages
- >
- Logic symbols

- Fields of mathematics
- >
- Mathematical logic
- >
- Formal languages
- >
- Logic symbols

- Mathematics
- >
- Mathematical notation
- >
- Mathematical symbols
- >
- Logic symbols

- Philosophy of mathematics
- >
- Formalism (deductive)
- >
- Formal languages
- >
- Logic symbols

- Philosophy of mathematics
- >
- Mathematical logic
- >
- Formal languages
- >
- 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

Tilde

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.

Ampersand

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.

Metavariable

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

© 2023 Useful Links.