Question

$p\to q$ is logically equivalent to

• A. $p\wedge \sim q$
• B. $\sim p\to \sim q$
• C. $\sim q\to \sim p$
• D. None of these

Answer 1

Answer: (C)

We have
$p\to q\cong \sim p\vee q$
and $\sim q\to \sim p\cong \sim (\sim q)\vee p\cong q\vee \sim p\cong \sim p\vee q\cong p\to q$