"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.
"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.