Difference between revisions of "Implies"
From Maths
m |
m |
||
| Line 41: | Line 41: | ||
'''Note:''' it is only not true that <math>A\implies B</math> when we have {{M|A}} but not {{M|B}} | '''Note:''' it is only not true that <math>A\implies B</math> when we have {{M|A}} but not {{M|B}} | ||
| + | ==See also== | ||
| + | * [[Contrapositive]] | ||
| + | |||
==References== | ==References== | ||
<references/> | <references/> | ||
{{Definition}} | {{Definition}} | ||
Latest revision as of 13:36, 16 June 2015
The implies relation, denoted A⟹B or B⟸A where A and B are statements of some sort means[1]:
| A | B | A⟹B |
A | B | A⟹B |
|---|---|---|---|---|---|
| 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 A⟹B when we have A but not B
