So, I know that P ⊃ Q is a true statement even if P is false as long as Q is true. However, I don't understand why that is, or how that is logically sound. Is it because I'm stuck in thinking of these types of statements as "If P, then Q," and they are not supposed to be thought of that way? How else can I approach this to have it make logical sense to me? Thanks. Also, I'm sorry if this is supposed to go to the HW section (I thought this fit here); please let me know and I'll move it.