Homework Statement
Determine whether the following is valid:
p \rightarrow \neg q , r \rightarrow q , r, \vdash \neg p
Homework Equations
Modus Ponens, disjunctive syllogism, double negation.
The Attempt at a Solution
I've boiled it down to
p \rightarrow \neg q , q, \vdash \neg p...