This was one of my headaches while studying any type of logic - material implication properties just sound weird and don't model what I call implication in my brain. IMO the only case when we can say anything about two unrelated propositions in general, is when T -> F yields F; the rest should be either undefined or defined based on their relationship/context (something like what relevance logic tries to do).