Translations:The logic of classical language/90/pt

O procedimento consiste em mostrar que a suposição de que $p$ é falsa leva a uma contradição lógica. Assim, a proposição $p$ não pode ser falsa e, portanto, de acordo com a lei do terceiro excluído, deve ser verdadeira. Este método de demonstração é chamado de demonstração por absurdo