Difference between revisions of "Template:Eqv"

From blackwiki
Jump to navigation Jump to search
imported>Bryan Derksen
(cat)
imported>Cedar101
(rm <big>)
 
(3 intermediate revisions by one other user not shown)
Line 1: Line 1:
<big><math>\leftrightarrow</math></big><noinclude>
+
<math>\leftrightarrow</math><noinclude>
 +
 
 +
[[Logical equivalence]]
 +
 
 +
==See also==
 +
{{Logic symbol templates}}
  
 
[[Category:Logic symbol templates|{{PAGENAME}}]]
 
[[Category:Logic symbol templates|{{PAGENAME}}]]
 
</noinclude>
 
</noinclude>

Latest revision as of 01:41, 28 April 2017

<math>\leftrightarrow</math>

Logical equivalence

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