A Prova por Redução ao Absurdo na Lógica Clássica
Resumo
Embora a logica seja, de urn modo geraJ, concebida como um ramo da filosofia, suas aplic~oes via muito alemdos limites de qualquer disciplina isoladamente considerada (SALMON, 1993). Seu papel principal efomecer meios para determinar a rel~o de consequencia que vige entre as premissas e a conclusao de urn dado argumento. Dentre as tecnicas utilizadas que possibihtarn garantir esta rel~o destaca-se a tecnica por redu¢oao absurdo por ser amplamente aplicada nas cienciasdesde aantiguidade. Suaideiabasics residenofatodequeumaproposi~ nio pode ser verdadeira se dela deduzimos umacontradi~o. Pretende-se, entio, apresentar a estrutura logica de tal teeniea de demonstracao a partir de urn dado sistema formal da logica classica.
Downloads
Downloads
Publicado
Como Citar
Edição
Seção
Licença
Autores mantêm os direitos autorais e concedem à revista o direito de primeira publicação, com o trabalho simultaneamente licenciado sob a Licença Creative Commons Attribution que permite o compartilhamento do trabalho com reconhecimento da autoria e publicação inicial nesta revista.
Termos da licença:
Não Comercial (NC) | Os licenciados podem copiar, distribuir, exibir e executar a obra e fazer trabalhos derivados dela, desde que sejam para fins não comerciais. |
Compartilha Igual (SA) | Os licenciados devem distribuir obras derivadas somente sob uma licença idêntica à que governa a obra original ou menos restritiva. |