$\begingroup$

According to my textbook the implication P --> Q has the following truth table:

I don't understand the last two rows. For example in the last row, how can we determine P --> Q if all we know is that both P and Q is false. Shouldn't the truth value be unknown in that case?

$\endgroup$ 3 Sorted by: Reset to default