Conditional operator p → q is believed to be equivalent of English “if p then q”. It is not. Here is the truth table:
Truth table makes sense, the only troublesome scenario is when false condition implies truth q in a last row. This just simply means the implication truth is not limited by condition. Consider:
p = “It is raining” q = “Ground is wet”