Validades Existenciais e Enigmas Relacionados
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:
PDFDOI: http://dx.doi.org/10.5380/dp.v6i2.17336