Implication (logic gate)

Implies is a logic gate, but is often misunderstood.

$A$	$B$	$A⟹B$
T	T	T
T	F	F
F	T	T
F	F	T

There’s no causality, there’s no time, it’s just the raw truth table.

$A⟹B$ is not equivalent to $\neg A⟹\neg B$

“I think therefore I am” does not mean “I don’t think therefore I do not am”

Contrapositive

$(A⟹B)⟹(\neg B⟹\neg A)$

$(A⟹B)⟹(B\vee \neg A)$

“Raining implies I take my umbrella, if I don’t have an umbrella then it better not be raining”