Comment by lightlike on The Cartoon Guide to Löb's Theorem · 2013-05-15T03:43:25.545Z · LW · GW

"The fact that ~X -> Y if this is true is an overly specific example of that "The first line being true (regardless of the truth of X)" -> Y."

This is basically correct; if ~X then X -> Y is always true because X never has the opportunity to be true, in a sense.