Changes

Além disso, na lógica clássica, existe um princípio denominado <u> terceiro excluído </u>, que declara que uma frase que não pode ser falsa deve ser considerada verdadeira, uma vez que não existe uma terceira possibilidade.

Além disso, na lógica clássica, existe um princípio denominado <u> terceiro excluído </u>, que declara que uma frase que não pode ser falsa deve ser considerada verdadeira, uma vez que não existe uma terceira possibilidade.

Suponha que precisamos provar que a proposição <math>p</math> é verdadeira. The procedure consists in showing that the assumption that <math>p</math> is false leads to a logical contradiction. Thus the proposition <math>p</math> cannot be false, and therefore, according to the law of the excluded third, it must be true. This method of demonstration is called ''demonstration by absurdity''<ref>{{Cite book  

Suponha que precisamos provar que a proposição <math>p</math> é verdadeira. O procedimento consiste em mostrar que a suposição de que <math>p</math> é falsa leva a uma contradição lógica. Assim, a proposição <math>p</math> 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 ''<ref>{{Cite book  

  | autore = Pereira LM

  | autore = Pereira LM

  | autore2 = Pinto AM

  | autore2 = Pinto AM