Short short version: if the left-hand side of → is false, then the result of → is ALWAYS TRUE. This is tricky enough compared to normal intuition about "implic

Short short version: if the left-hand side of → is false, then the result of → is ALWAYS TRUE. This is tricky enough compared to normal intuition about "implication" that there's a name for it: https://en.wikipedia.org/wiki/Paradoxes_of_material_implication https://en.wikipedia.org/wiki/Paradoxes_of_material_implicat...