Template:Logic symbol templates

From WikiMD's Wellness Encyclopedia

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}}

<math>\in</math> Being an element
Template Symbol/
result 		Term with wikilink
{{

Models}}

<math>\models</math> Double turnstile
{{

Nand}}

<math>\uparrow</math> Sheffer stroke
{{

Nor-}}

<math>\downarrow</math> Logical NOR
{{

Not}}

<math>\neg</math> Negation
{{

Or-}}

<math>\lor</math> Logical disjunction
{{

Tee}}

<math>\vdash</math> Turnstile (symbol)
{{

True}}

<math>\top</math> Logical truth
{{

Xor}}

<math>\nleftrightarrow</math> Exclusive disjunction



Retrieved from "https://wikimd.com/w/index.php?title=Template:Logic_symbol_templates&oldid=5688199"