Question

Premises: (p v q) -> r, p, p -> s. Conclusion: r v (s v t)

a) Modus Ponens
b) Modus Tollens
c) Hypothetical Syllogism
d) Disjunctive Syllogism

Answer 1

The answer is the Modus Ponens.

Step-by-step explanation:

The given argument can be solved using the Modus Ponens rule. Modus Ponens is a valid inference where the antecedent of a conditional is affirmed. In this case, the premises state that (p v q) implies r, and also that p is true. Using Modus Ponens, we can conclude that r is true.

Therefore, the correct answer is a) Modus Ponens.