1. Tardigrade
  2. Question
  3. Mathematics
  4. The proposition p arrow ∼(p ∧ ∼ q) is

Question Error Report

Thank you for reporting, we will resolve it shortly

Back to Question

Q. The proposition $p \rightarrow \sim\left(p \wedge \sim q\right)$ is

Mathematical Reasoning

Solution:

$p \rightarrow \sim \left(p \wedge \sim q\right)$
$\cong \sim p \vee \sim(p \wedge \sim q) \cong \sim p \vee(\sim p \vee q) \cong \sim p \vee q$
Clearly, it is neither a tautology nor a contradiction