Uma axiomatização para o Cálculo Proposicional

Autores

  • Augusto de Abreu Pires Universidade de São Paulo - USP

Resumo

Sem dúvida alguma, um dos principais tópicos da lógica matemática é o Cálculo Proposicional. Neste, a verificação do caráter veritativo de fórmulas é bastante importante; porém, métodos tradicionais, como tabelas de verdade e formas normais, às vezes, tornam-se exaustivos ou mesmo impraticáveis. Surge, então, a necessidade de uma teoria para o Cálculo Proposicional, ou seja, uma Axiomatização para o Cálculo Proposicional. Neste artigo, apresentaremos uma, entre muitas outras que existem. 

 

Downloads

Os dados de download ainda não estão disponíveis.

Downloads

Publicado

17-02-2021

Edição

v. 23 n. 1 (1997)

Seção

Artigos

Licença

Esta licença permite que outros distribuam, remixem, adaptem e criem a partir do seu trabalho, mesmo para fins comerciais, desde que lhe atribuam o devido crédito pela criação original. 

A responsabilidade sobre o conteúdo das publicações são total e exclusiva dos autores, que mantêm os direitos autorais e atribuem o direito de primeira publicação para a Revista de Estudos Universitários (REU).  Ao submeter o artigo, o(s) autor(es) garante(m) que ele não contém nenhuma violação de quaisquer direitos autorias.

A remessa de originais implica a autorização para publicação e disponibilização on-line sem o pagamento de direitos atorais.
A reprodução de artigos publicados na Avaliação só é permitida com indicação da fonte. 

Como Citar

Uma axiomatização para o Cálculo Proposicional. Revista de Estudos Universitários - REU, Sorocaba, SP, v. 23, n. 1, p. 111–123, 2021. Disponível em: https://periodicos.uniso.br/reu/article/view/4281. Acesso em: 15 dez. 2025.