QJEEM17Mab582: JEE Main 2017 Mathematics - Class 11 JEEM17Mab582 Solution: The following statement ( p → q ) → [ ( ∼ p → q ) → q ] is :

Question

Verified Solution • 2025–26 Session moderate

The following statement

(p \to q) \to [(\sim p \to q) \to q]

is :

Accepted Answer

We have

p	q	~p	p $\to$ q	~p $\to$ q	(~p $\to$ q) $\to$ q	(p $\to$ q) $\to$ ((~p $\to$ q) $\to$ q)
T	F	F	F	T	F	T
T	T	F	T	T	T	T
F	F	T	T	F	T	T
F	T	T	T	T	T	T

∴

It is tautology.

Step-by-Step Verified Solution