Wikipedia:WikiProject Logic/Standards for notation

| NOT

| ¬ or {{not}} or ~

| {{not}}

| {{tl|not}}

| \neg

| Logical negation

| AND

| $\backslash wedge$ or &

| {{and}}

|{{tl|and}}

| \And

| Logical conjunction

| OR

| $\backslash vee$

| {{or-}}

|{{tl|or-}}

| \vee

| Logical disjunction

| IMPLIES

| $\backslash rightarrow$ or $\backslash Rightarrow$ or $\backslash supset$ or {{imp}}

| {{imp}}

|{{tl|imp}}

| \rightarrow

| Material conditional

| EQV or XNOR

| {{eqv}} or $\backslash Leftrightarrow$ or = or {{ident}} (for definitions, := or :{{ident}} may be used)

| {{eqv}}

|{{tl|eqv}}

| \leftrightarrow

| Logical biconditional, Logical equality, Logical equivalence

| NOR

| {{nor-}} or  ↓ 

| {{nor-}}

|{{tl|nor-}}

| \downarrow

| Logical NOR

| NAND

| {{nand}}

| {{nand}}

|{{tl|nand}}

| \uparrow

| Alternative denial (Nand)

| XOR

| {{xor}} or + or $\backslash oplus$ or ≠

| {{xor}}

| {{tl|xor}}

| \nleftrightarrow

| XOR

| For every x

| (x) or {{all}} x or $\backslash forall\; x$

| $\backslash forall\; x$

|{{tl|all}}

| \forall x

| There exists an x

| {{exist}}x or $\backslash exists\; x$

| $\backslash exists\; x$

|{{tl|exist}}

| \exists x

|$X\backslash stackrel\{\backslash rm\; def\}=y\_1,y\_2,\backslash dots$

|$\backslash stackrel\{\backslash rm\; def\}=$

|$\backslash stackrel\{\backslash rm\; def\}=$

|none

|\stackrel{\rm def}=

|Definition

|$X\; \backslash vdash\; Y$, $\backslash vdash\; Z$, $A\; \backslash vdash\_xo$

|{{m}}

|{{m}}

|{{ml|m}}

|\vdash

|Turnstile (symbol)

|$A\; \backslash models\_xo$, $\backslash modelxo$

|$\backslash models$

|{{models}}

|{{ml|models}}

|\models

|Double tu

| $\backslash vDash\; \backslash top$

|$\backslash top$ or T or

|{{}}

|'''

'''

|\top

|m (l)

| $\backslash vDash\; \backslash neg\backslash t$

|$\backslash t$ or F or 0

|{{false}}

|'''

Category:Year of birth missing (living people)

'''

|\

|

|signature

|a set of non-logical symbols with specified arities

|non-logical symbol

|any of the symbols below

|function symbol

|either arity >0, i.e. excl. constant symbols,
or arity ≥0, i.e. including constant symbols

|constant symbol

|

|predicate symbol or relation symbol

|either arity >0, i.e. excl. symbols below
or arity ≥0, i.e. including symbols below

|in propositional/sentential logic:
prop./sent. variable
in first-order logic:
nullary predicate/relation symbol

|

|

|

|

|

|

|

|

|

|

|

|

|

|

|propositional logic

|

|

|

|

|

|