MODUS PONENS e MODUS TOLLENS. Na lógica do séc. XVII, foram assim chamados os dois modos do silogismo hipotético: o primeiro, posto o antecedente, põe o consequente (se A é, é B; mas A é, portanto é B), e o segundo, retirado o consequente, retira o antecedente (se A é, é B; mas A não é, portanto não é B) (Jungius, Lógica, 1638, III, 17, 10-11; Wolff, Log., §§ 409-10). [Abbagnano]
modus ponens
