Question

The proposition $(p\to \sim p)\wedge (\sim p\to p)$ is a

• A. tautology.
• B. contradiction.
• C. tautology or contradiction.
• D. tautology and contradiction.

Answer 1

The correct option is B contradiction.

$p$	$\sim p$	$p\to \sim p$	$\sim p\to p$	$(p\to \sim p)\wedge (\sim p\to p)$
$T$	$F$	$F$	$T$	$F$
$F$	$T$	$T$	$F$	$F$

Clearly $(p\to \sim p)\wedge (\sim p\to p)$ is a contradiction