>Technically, all logical implications are tautologies. Logic's weird like that.

Sure. That's why we tend to argue by induction ... even when we claim deductive reasoning. Deductive arguments aren't very interesting.