Implies

From Maths
Revision as of 13:36, 16 June 2015 by Alec (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

The implies relation, denoted [math]A\implies B[/math] or [math]B\impliedby A[/math] where [ilmath]A\text{ and }B[/ilmath] are statements of some sort means[1]:

A B [math]A\implies B[/math] A B [math]A\implies B[/math]
false false true T
false true true T T
true false false T
true true true T T T

Note: it is only not true that [math]A\implies B[/math] when we have [ilmath]A[/ilmath] but not [ilmath]B[/ilmath]

See also

References

  1. https://en.wikipedia.org/w/index.php?title=Truth_table&oldid=667166695#Logical_implication