Grafos de Peirce ad absurdum

Frank Thomas Sautter, Hércules de Araújo Feitosa

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.

Palavras-chave


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

Texto completo:

PDF

Métricas do artigo

Carregando Métricas ...

Metrics powered by PLOS ALM

Apontamentos

  • Não há apontamentos.


Apoio: