Questão 2213353

\(\left(p\ \to q\right)\ \wedge\ p\ \Rightarrow\ q\)

\(\sim p\left(p\ \wedge\ q\right)\ \Rightarrow\ \sim p\ \vee\ \sim q\)

\(\left(p\ \leftrightarrow\ q\right)\ \vee\ \left(q\ \to\sim p\right)\ \Rightarrow\ p\)

\(\sim p\ \wedge\ \left(\sim q\ \to p\right)\Rightarrow\sim\left(p\ \wedge\sim q\right)\)