A Prova por Redução ao Absurdo na Lógica Clássica

A Prova por Redução ao Absurdo na Lógica Clássica

Show other versions (1)

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...

Full description

Bibliographic Details
Main Author: Maria da Paz Nunes de Medeiros
Format: Article
Language:deu
Published: Universidade Federal do Rio Grande do Norte 2010-10-01
Series:Princípios
Online Access:https://periodicos.ufrn.br/principios/article/view/740
id doaj-d97f645a31af49d9913a804c99655aea
record_format Article
spelling doaj-d97f645a31af49d9913a804c99655aea2020-11-24T21:31:52ZdeuUniversidade Federal do Rio Grande do NortePrincípios0104-86941983-21092010-10-01202120125679A Prova por Redução ao Absurdo na Lógica ClássicaMaria da Paz Nunes de MedeirosEmbora 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.https://periodicos.ufrn.br/principios/article/view/740
collection DOAJ
language deu
format Article
sources DOAJ
author Maria da Paz Nunes de Medeiros
spellingShingle Maria da Paz Nunes de Medeiros
A Prova por Redução ao Absurdo na Lógica Clássica
Princípios
author_facet Maria da Paz Nunes de Medeiros
author_sort Maria da Paz Nunes de Medeiros
title A Prova por Redução ao Absurdo na Lógica Clássica
title_short A Prova por Redução ao Absurdo na Lógica Clássica
title_full A Prova por Redução ao Absurdo na Lógica Clássica
title_fullStr A Prova por Redução ao Absurdo na Lógica Clássica
title_full_unstemmed A Prova por Redução ao Absurdo na Lógica Clássica
title_sort prova por redução ao absurdo na lógica clássica
publisher Universidade Federal do Rio Grande do Norte
series Princípios
issn 0104-8694
1983-2109
publishDate 2010-10-01
description 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.
url https://periodicos.ufrn.br/principios/article/view/740
work_keys_str_mv AT mariadapaznunesdemedeiros aprovaporreducaoaoabsurdonalogicaclassica
AT mariadapaznunesdemedeiros provaporreducaoaoabsurdonalogicaclassica
_version_ 1725959548312748032

Similar Items