A law of logic in which two original statements may lead to a concluding statement. "If P, then Q. It is given that P is true." -> Q is true.
a) Modus Ponens
b) Modus Tollens
c) Hypothetical Syllogism
d) Disjunctive Syllogism