Difference between revisions of "Template:Ident"

From blackwiki
Jump to navigation Jump to search
imported>Hyacinth
(==See also== {{Logic symbol templates}})
imported>Hyacinth
 
Line 1: Line 1:
 
<math>\equiv</math><noinclude>
 
<math>\equiv</math><noinclude>
 +
 +
[[If and only if]]
 +
 
==See also==
 
==See also==
 
{{Logic symbol templates}}
 
{{Logic symbol templates}}

Latest revision as of 07:14, 17 July 2013

<math>\equiv</math>

If and only if

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