Solveeit Logo

Question

Mathematics Question on mathematical reasoning

Which of the following statements is a tautology?

A

((p)q)p((\sim p) \vee q) \Rightarrow p

B

p((p)q)p \Rightarrow((\sim p ) \vee q )

C

((p)q)q((\sim p ) \vee q ) \Rightarrow q

D

q((p)q)q \Rightarrow((\sim p) \vee q)

Answer

q((p)q)q \Rightarrow((\sim p) \vee q)

Explanation

Solution

The correct option is (D): q((p)q)q \Rightarrow((\sim p) \vee q).