Difference between revisions of "Template:Imp"

From blackwiki
Jump to navigation Jump to search
imported>Hyacinth
(==See also== {{Logic symbol templates}})
imported>Cedar101
(\to)
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
<noinclude>
+
<math>\to</math><noinclude>
 +
 
 +
[[Material conditional]]
 +
 
 
==See also==
 
==See also==
 
{{Logic symbol templates}}
 
{{Logic symbol templates}}

Latest revision as of 01:41, 7 October 2016

<math>\to</math>

Material conditional

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