$\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 Reset to default
