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

Não há dados estatísticos.

Downloads

Publicado

17-02-2021

Como Citar

PIRES, Augusto de Abreu. 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: 23 dez. 2024.

Edição

v. 23 n. 1 (1997)

Seção

Artigos

Licença

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 REU - Revista de Estudos Universitários.  Ao submeter o artigo, o(s) autor(es) garante(m) que ele não contém nenhuma violação de quaisquer direitos autorias.