Stuck on this problem. I want to use the rules of inference to show that the argument form with premises (p∧t)→(r∨s), q→(u∧t),u→p, and ¬s and conclusion q→r is valid. Would really appreciate if someone can help me solve it and explain which rules they used

  • 1
    $\begingroup$ Which rules of inference are you allowed to use? $\endgroup$ – Taroccoesbrocco Jan 25 at 0:35
  • $\begingroup$ @Taroccoesbrocco all of them $\endgroup$ – Nev Jan 25 at 1:40
  • $\begingroup$ HINT Try a conditional proof $\endgroup$ – Bram28 Jan 25 at 2:54
  • $\begingroup$ @Nev different systems may use different rules (Or rules by different names). Which are yours? $\endgroup$ – Graham Kemp Jan 25 at 5:59
  • $\begingroup$ @GrahamKemp modus ponens, modus tollens, hypothetical syllogism, disjunctive syllogism, rule of proof by case, rule of contradiction, rule of simplification, rule of addition, rule of resolution $\endgroup$ – Nev Jan 25 at 19:34

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.