modus tollens

Expressão

modus tollens

  1. expressão latina com o significado de "modo que nega por negação" ou "negação do consequente"; é o nome formal para a prova indireta, também chamado de modo apagógico

Ver também

Na Wikipédia