Question

If p and q are two statements then (p → q) ↔ (∼ q → ∼ p) is ______.

Options

• Contradiction

• Tautology

• Neither (i) not (ii)

• None of the these

Answer 1

If p and q are two statements then (p → q) ↔ (∼ q → ∼ p) is Tautology.

Explanation:

pq	~q → ~p	q → p ↔ ~q ↔ ~p
T	T	T
F	F	T
T	T	T
T	T	T

Therefore, it is a tauology 

Hence, the given proposition is a tautology.