List of logic symbols - Wikipedia
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 related field of mathematics. Additionally, the subsequent columns contains an informal explanation, a short example, the Unicode location, the name for use in HTML documents,[1] and the LaTeX symbol. ⇒ → ⊃ ⇔ ↔ ≡ ′ ¬ ˜ ! ′ The prime symbol is placed after the negated thing, e.g. 𝑝 ′ [2] ∧ · & ∨ + ∥ ⊕ ⊻ — ≢ ⊤ ⊥ ∀ ∃ ∃! ( ) 𝔻 ⊢ ⊨ — ⇔ ≡ — ⇔ ≔ = d e f \stackrel{ \scriptscriptstyle \mathrm{def}}{=} The following symbols are either advanced and context-sensitive or very rarely used: It may also denote a negation (used primarily in electronics). \urcorner
List of logic symbols - Wikipedia Jump to content From Wikipedia, the free encyclopedia List of symbols used to express logical relations This article contains logic symbols. Without proper rendering support , you may see question marks, boxes, or other symbols  instead 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 related field of mathematics . Additionally, the subsequent columns contains an informal explanation, a short ex
saved by
related reading
- Quantifier (logic) - Wikipediaen.wikipedia.org
- List of rules of inferenceen.wikipedia.org
- First-order logic - Wikipediaen.wikipedia.org
- GitHub - Experience-Monks/math-as-code: a cheat-sheet for mathematical notation in code formgithub.com
- Intuitionistic logic - Wikipediaen.wikipedia.org
- 3. Logic - Mathematics in Lean v4.19.0 documentationleanprover-community.github.io
- Type theory - Wikipediaen.wikipedia.org
- Definability of Truth in Probabilistic Logic - Christiano 2013intelligence.org
- T-norm fuzzy logics - Wikipediaen.wikipedia.org
- Mathematics for Computer Sciencepeople.csail.mit.edu
- canon00-goedel.pdfhirzels.com
- Logical truth - Wikipediaen.wikipedia.org