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