With modus ponen as the inference rule, and the following axioms:
- $\varphi\rightarrow(\psi\rightarrow\varphi)$
- $(\varphi\rightarrow(\psi\rightarrow\chi))\rightarrow((\varphi\rightarrow\psi)\rightarrow(\varphi\rightarrow\chi))$
- $((\neg\varphi)\rightarrow(\neg\psi))\rightarrow(\psi\rightarrow\varphi)$
Let $\Gamma=\{p\wedge q,(\neg p)\vee q,p\vee r\}$. Is it true that $\Gamma\vdash r$?
Since the axioms are given purely in terms of $\neg$ and $\rightarrow$, I used basic logic equivalences to convert $\Gamma$ into $\Gamma=\{\neg(p\rightarrow\neg q),p\rightarrow q,\neg p\rightarrow r\}$. From this, I know I need a sequence of formulas derived from $\Gamma$ and the axioms to eventually arrive at $r$ (if $\Gamma\vdash r$ is true, I have not even entirely convinced myself that it is), but I don't really know where to start.