In classical logic, why is (p -> q) True if both p and q are False?
The Logic table for
If P then Q is as follows:
P Q If P then Q T T T T F F F T T F F T
What I don't understand is, How can there be a truth table for this?
As far as I understand, If p then Q means "if P is true, Q has to be true. Any other case, I don't know"
So, from what I understand, the first 2 rows of the truth table state that "If P is true and Q is true, the outcome is correct and If P is true and Q is false, the outcome is incorrect (F)"
What about the last 2 rows?