stuck on laws of inference proof?

  • Thread starter Thread starter JimRaynor
  • Start date Start date
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...
 
Back
Top