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