It assumes that '' P implies Q '' is true and Q is false. How is P? I think that P is false.
It assumes that '' P implies Q '' is true and Q is false. How is P?
-
0What happens if P is true? ā 2017-01-28
-
1Yep, prove it by contradiction: Q is false, let's assume that P were true. But if P is true then Q is true, contradiction ā 2017-01-28
-
0If P is true, then "P implies Q" is false! Contradiction!! ā 2017-01-28
3 Answers
Yes as you often meet a non-sports person saying that,"Had (If) I played (play) tennis then I am a Wimbledon champion."
Irrespective of this combination of two false clubbed statements, you forgive them for their innocence.
Truth table of implies $\Rightarrow$
$$\begin{array}{ | c | c || c | } P & Q & P\Rightarrow Q \\ \hline \text T & \text T & \text T \\ \text T & \text F & \text F \\ \text F & \text T & \text T \\ \text F & \text F & \text T \end{array}$$
This shows when P is false implication is true. Also in your case Q is false but implication not. So we can't choose second case.
If the conditional is True, and the consequent is False, you have the only option that the antecedent is False. p q pāq
V V V
V F F
F V V
F F V
Notice that with the conditional True and the consequent (Q) False, you have in the fourth line that the antecedent (P) is False.
I hope I've helped.