The truth table for implication looks like this p|q| p -> q ------------ T|T | T T|F | F F|T | T <----I'm trying to make sense of this one. My prof warned us that its strange. F|F | T I that implication means: "If p, then q" "q is necessary for p" "p is sufficient for q" "p, only if q" How can p be false, and q be true, result in a true implication? How does something false imply something true? "If 1 + 1 =5 then apples are blue" is a true implication, according to this. I'm not sure if I have included enough detail about my confusion. I feel like I'm on the verge of understanding, can anyone push me in the right direction?