Template:Imp

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