I ran the following to simplify my logical test (expecting something in terms of
FullSimplify[Not[a] || (a && b)]
and was surprised to see
$a \Rightarrow b$
I thought "implies" is a statement you deduce from a set of truths. Since when is "implies" a logical test?
Just for fun I tried
Implies[1 > 2, 3 > 4] (*True*)
Is Mathematica actually trying to say that if 1 is greater than 2, then 3 must be greater than 4?