Template:Exist

From blackwiki
Jump to navigation Jump to search

<math>\exists</math>

Existential quantifier

See also

Template Symbol/
result
Term with wikilink
{{All}} <math>\forall</math> Universal quantifier
{{And}} <math>\wedge</math> Logical conjunction
{{Eqv}} <math>\leftrightarrow</math> Logical equivalence
{{Exist}} <math>\exists</math> Existential quantifier
{{False}} <math>\bot</math> False (logic)
{{Ident}} <math>\equiv</math> If and only if
{{Imp}} <math>\to</math> Material conditional
{{In}} Being an element
Template Symbol/
result
Term with wikilink
{{Models}} Template:Models Double turnstile
{{Nand}} Template:Nand Sheffer stroke
{{Nor-}} Template:Nor- Logical NOR
{{Not}} Template:Not Negation
{{Or-}} Template:Or- Logical disjunction
{{Tee}} Template:Tee Turnstile (symbol)
{{True}} Template:True Logical truth
{{Xor}} Template:Xor Exclusive disjunction