Implies
From Maths
Revision as of 23:11, 28 February 2015 by Alec (Talk | contribs) (Created page with "The implies relation, denoted <math>A\implies B</math> or <math>B\impliedby A</math> where {{M|A\text{ and }B}} are statements of some sort means: {| class="wikitable" border...")
The implies relation, denoted A⟹B or B⟸A where A and B are statements of some sort means:
| 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
