Question
(P v Q) → ~ P

Answer

Truth table:
Column $\rightarrow$ 1 2 3 4 5
Row $\downarrow$ P Q ~P P v Q (Pv Q) $\rightarrow$ ~ P
1 T T F T F
2 T F F T F
3 F T T T T
4 F F T F T
  1(~) 1, 2 (v) 4, 3 ($\rightarrow$)
Explanation: (P v Q) → ~ P is in column no. 1 and 2 are the first pillars, while the remaining three are the secondary pillars. Column no. 5 presents the whole complex joint statement. Column no. Looking at 5, the following facts become clear:
(1) According to the first row, if P is true and Q is true, then (P v Q) → ~ P the whole statement is untrue.
(2) According to the second row, if P is true and Q is false, then (P v Q) → ~ P the whole statement is false
(3) According to the third row, if P is untrue and Q is true, then (P v Q) → ~ P is the whole statement.
(4) According to the fourth row, if P is untrue and Q is untrue, then (P v Q) → ~ P the whole statement is true.

Need a full question paper?

Generate a complete, print-ready paper with questions like this in minutes — across 16+ boards, with answer keys.

Start Generating Free