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.

Downloads

Arquivos adicionais

Publicado

2015-10-21

Edição

v. 16 n. 1 (2015)

Seção

Artigos Cognitio