Uma axiomatização para o Cálculo Proposicional

Autores/as

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

Resumen

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. 

 

Descargas

Los datos de descargas todavía no están disponibles.

Descargas

Publicado

2021-02-17

Cómo 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 dic. 2024.

Número

Vol. 23 Núm. 1 (1997)

Sección

Artigos

Licencia

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.