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

{{indexmenu>.#1|skipns=/^playground|^wiki/ nsonly}}