Solveeit Logo

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(qr)p\to \left( \sim q\vee r \right) 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

Explanation

Solution

We start solving this problem by making the truth value tables for qr\sim q\vee r and then making the truth value table for p(qr)p\to \left( \sim q\vee r \right). Then we look at that truth value table for the truth values of p and qr\sim q\vee r. Then after finding the truth value of qr\sim q\vee r, we use the truth value table of qr\sim q\vee 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(qr)p\to \left( \sim q\vee r \right) is false.
Let us go through the truth table of aba\vee b.

ababa\vee b
FFF
FTT
TFT
TTT

Using that we can write the truth table of qr\sim q\vee r

qq\sim qrqr\sim q\vee r
FTFT
FTTT
TFFF
TFTT

Now, let us go through the truth table of aba\to b

ababa\to b
FFT
FTT
TFF
TTT

Using this we can write the truth value table for p(qr)p\to \left( \sim q\vee r \right)

pqr\sim q\vee rp(qr)p\to \left( \sim q\vee r \right)
FFT
FTT
TFF
TTT

As we are given that the truth value of p(qr)p\to \left( \sim q\vee r \right) 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 qr\sim q\vee r is False.
From the truth table of qr\sim q\vee 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(qr)p\to \left( \sim q\vee r \right) 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 aba\vee b as

ababa\vee b
FFF
FTF
TFF
TTT

But it is the truth value table for aba\wedge b. One must note the difference between aba\vee b and aba\wedge b. The symbol \wedge represents AND while the symbol \vee represents OR.