In:
DoisPontos, Universidade Federal do Parana, Vol. 6, No. 2 ( 2009-10-31)
Abstract:
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.
Type of Medium:
Online Resource
ISSN:
2179-7412
,
1807-3883
DOI:
10.5380/dp.v6i2.17336
Language:
Unknown
Publisher:
Universidade Federal do Parana
Publication Date:
2009
detail.hit.zdb_id:
2194056-3
SSG:
5,1
Permalink