Question
Question: If the truth value of the statement \(p\to \left( \sim q\vee r \right)\) is false (F), then the trut...
If the truth value of the statement p→(∼q∨r) is false (F), then the truth values of the statements p, q, r are respectively
(A) F, T, T
(B) T, F, F
(C) T, T, F
(D) T, F, T
Solution
We start solving this problem by making the truth value tables for ∼q∨r and then making the truth value table for p→(∼q∨r). Then we look at that truth value table for the truth values of p and ∼q∨r. Then after finding the truth value of ∼q∨r, we use the truth value table of ∼q∨r to find the truth values of q and r.
Complete step by step answer:
We are asked to find the truth values of p, q, r when the truth value of p→(∼q∨r) is false.
Let us go through the truth table of a∨b.
a | b | a∨b |
---|---|---|
F | F | F |
F | T | T |
T | F | T |
T | T | T |
Using that we can write the truth table of ∼q∨r
q | ∼q | r | ∼q∨r |
---|---|---|---|
F | T | F | T |
F | T | T | T |
T | F | F | F |
T | F | T | T |
Now, let us go through the truth table of a→b
a | b | a→b |
---|---|---|
F | F | T |
F | T | T |
T | F | F |
T | T | T |
Using this we can write the truth value table for p→(∼q∨r)
p | ∼q∨r | p→(∼q∨r) |
---|---|---|
F | F | T |
F | T | T |
T | F | F |
T | T | T |
As we are given that the truth value of p→(∼q∨r) is False. From the table we can say that it is possible only when the truth value of p is True and truth value of ∼q∨r is False.
From the truth table of ∼q∨r we can see that it is false only when the truth values of q and r are true and false respectively.
So, we get that truth value of p→(∼q∨r) is False when the truth values of p, q, r are True, True and False respectively.
So, the correct answer is “Option C”.
Note: The mistake that one makes while solving this problem are one might take the truth value table for a∨b as
a | b | a∨b |
---|---|---|
F | F | F |
F | T | F |
T | F | F |
T | T | T |
But it is the truth value table for a∧b. One must note the difference between a∨b and a∧b. The symbol ∧ represents AND while the symbol ∨represents OR.