Validades Existenciais e Enigmas Relacionados

Paulo A. S. Veloso, Luiz Carlos Pereira, Edward H. Haeusler

Resumo


A lógica não contém teoremas puramente existenciais: as únicas sentenças existenciaisválidas são aquelas com análogas universais válidas. Aqui, mostramos que istorealmente é assim quando corretamente interpretado: toda validade ex- istencial possuiuma análoga universal simples, que também é válida. Também caracterizamos validadesuniversais e existenciais em termos de tautologias.

Palavras-chave


Lógica; quantificação; validades existenciais; validades universais; tautologias; Logic; quantification; existential validities; universal validities; tautologies

Texto completo:

PDF


DOI: http://dx.doi.org/10.5380/dp.v6i2.17336

Direitos autorais



 

Indexadores: AmeliCA, Clase, Dimension, Google Scholar. Diretórios: Academic Journal Database (JSTOR), Diadorim, Diretório Luso-Brasileiro, DOAJ, ROAD. Portais: CAPES, ScienceOpen, World Wide Science.

Qualis Periódicos - Capes: A2

 

  Todo o conteúdo desta revista está licenciado sob a Licença Internacional Creative Commons 4.0 (CC BY 4.0)