Establish the validity of the argument with the premises p -> (q -> r) , p \/ s , t ->q , ~s and ~r -> ~t

The Answer to the Question
is below this banner.

Can't find a solution anywhere?

NEED A FAST ANSWER TO ANY QUESTION OR ASSIGNMENT?

You will get a detailed answer to your question or assignment in the shortest time possible.

Here's the Solution to this Question

SOLUTION

$1.p→(q→r)\\ 2.p∨s\\ 3.t→q\\ 4.¬s \\ 5.¬r→¬t\\ −−−−−−−−−−−−−−−−−\\ 6.p (2,4)Disjunctive \,syllogism\\ 7.p→r (1)Hypothetical\, syllogism\\ 8.r (6,7)Modus \,ponens\\ 9.t (8,5)Modus \,ponens\\ 10.q (9,3)Modus \,ponens\\ 11.q∧¬s (10,4)Conjunction\\ The argument is valid$

Establish the validity of the argument with the premises p -> (q -> r) , p \/ s , t ->q , ~s and ~r -> ~t

Here's the Solution to this Question

Related Answers

Was this answer helpful?

Join our Community to stay in the know

Question ID: mtid-5-stid-8-sqid-2653-qpid-1123