Question

The propositions $(p \Rightarrow \mspace{6mu}\sim p) \land (\sim p \Rightarrow p)$ is a

• A. Tautology and contradiction
• B. Neither tautology nor contradiction
• C. Contradiction
• D. Tautology

Answer 1

Answer: (C)

Contradiction

Answer 2

p	~p	p⇒~p	~p⇒ p	$(p \Rightarrow \mspace{6mu}\sim p) \land (\sim p \Rightarrow p)$
T	F	F	T	F
F	T	T	F	F

Clearly, $(p \Rightarrow \mspace{6mu}\sim p) \land (\sim p \Rightarrow p)$ is a contradiction.