Logical equivalence

See also

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