Question

Considere a seguinte implicação lógica:

P∧(P→Q)⇒Q.

Nesse contexto, a denominação desse implicação lógica é:

A)
Modus ponens;

B)
Modus tollen;

C)
Simplificação conjuntiva.

D)
Silogismo hipotético;

E)
Silogismo construtivo;