Editor, Editors, USER, editor, translator
5,845
edits
Changes
Translations:The logic of classical language/90/pt (view source)
Revision as of 17:02, 3 November 2021
, 3 years agoCreated page with "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..."
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 ''