Logical implication is a comparison operator
A note on notation Ever notice that the notation for a ⇒ b looks awfully similar to a >= b , just with the symbols switched around? Well, they're the same thing. Let me explain. The connection Consider a statement x, like the weather is cloudy, and some other statement y, like it will rain. Now I claim that because it is cloudy it will rain, that is x ⇒ y . So, with x ⇒ y , I'm saying if x is…