J
JimRaynor
Guest
Trying to get to T
1. p -> q (premise)
2. ~q V r (premise)
3. ~s -> ~r (premise)
4. ~(s ^ ~t) (premise)
5. p (premise)
6. q (modus ponens 1,5)
not really sure how to finish it...
1. p -> q (premise)
2. ~q V r (premise)
3. ~s -> ~r (premise)
4. ~(s ^ ~t) (premise)
5. p (premise)
6. q (modus ponens 1,5)
not really sure how to finish it...