Beth redivivo

  • Frank Thomas Sautter Universidade Federal de Santa Maria
DOI: https://doi.org/10.15210/dissertatio.v52i0.18258
Palavras-chave: Regra de introdução, regra de eliminação, aceitação, rejeição, Evert Beth, refutação.

Resumo

Desenvolvo um método de prova por refutação para a Lógica Proposicional Clássica, que resgata ideias dos tablôs semânticos de Evert Beth. Primeiro apresento o método em forma conjuntista, depois o utilizo em forma tabular simplificada.

Downloads

Não há dados estatísticos.

Biografia do Autor

Frank Thomas Sautter, Universidade Federal de Santa Maria
Departamento de Filosofia
Publicado
2021-04-26
Edição
v. 52 (2020)
Seção
Artigos

(1) 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.


(2) Autores têm autorização para assumir contratos adicionais separadamente, para distribuição não-exclusiva da versão do trabalho publicada nesta revista (ex.: publicar em repositório institucional ou como capítulo de livro), com reconhecimento de autoria e publicação inicial nesta revista.


(3) Autores têm permissão e são estimulados a publicar e distribuir seu trabalho online (ex.: em repositórios institucionais ou na sua página pessoal) a qualquer ponto antes ou durante o processo editorial, já que isso pode gerar alterações produtivas, bem como aumentar o impacto e a citação do trabalho publicado (Veja O Efeito do Acesso Livre)