Serviços Personalizados
Journal
Artigo
Indicadores
- Citado por SciELO
- Acessos
Links relacionados
- Similares em SciELO
Compartilhar
Crítica (México, D.F.)
versão impressa ISSN 0011-1503
Resumo
BARCELO ASPEITIA, Axel Arturo. Patrones inferenciales. Crítica (Méx., D.F.) [online]. 2008, vol.40, n.120, pp.3-35. Epub 04-Maio-2020. ISSN 0011-1503. https://doi.org/10.22201/iifs.18704905e.2008.993.
El objetivo de este artículo es proponer un método de traducción de tablas de verdad a reglas de inferencia, para la lógica proposicional, que sea tan directo como el tradicional método inverso (de reglas a tablas). Este método, además, permitirá resolver de manera elegante el viejo problema, formulado originalmente por Prior en 1960, de determinar qué reglas de inferencia definen un conectivo.
Palavras-chave : inferencialismo; Gentzen; Peregrin; Prior; lógica.