Grafos de Peirce ad absurdum

Autores

  • Frank Thomas Sautter Universidade Federal de Santa Maria (UFSM)
  • Hércules de Araújo Feitosa Departamento de Matemática/FC/UNESP

Palavras-chave:

Informação, Lógica proposicional clássica, Método diagramático, Método de resolução, Peirce

Resumo

O método diagramático de Peirce para a lógica proposicional clássica utiliza seis regras de derivação. Modificamos esse método ao utilizar, ab initio, a negação da conclusão, e exigirmos, para a prova de validade, a obtenção de uma contradição. Isso nos permite a eliminação de duas regras de derivação.

Metrics

Carregando Métricas ...

Downloads

Arquivos adicionais

Publicado

2015-10-21

Como Citar

Sautter, F. T., & Feitosa, H. de A. (2015). Grafos de Peirce ad absurdum. Cognitio: Revista De Filosofia, 16(1), 153–168. Recuperado de https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/25195

Edição

Seção

Artigos Cognitio