Get the latest tech news
Logical implication is a comparison operator
Ever notice that the notation for looks awfully similar to , just with the symbols switched around? Well, they're the same thing. Let me explain. Consi...
If we write this in boolean logic, we find all possible pairs of x and y to be valid except for x=1 and y=0. For example, it makes complex statements a lot easier to prove. In this framework, the statement can be more easily analysed to mean p ≤ q implies p ≥ q which is only true (by checking cases) if p = q or p > q, so the statement is equivalent to assuming the conclusion.
Or read this on Hacker News