Fiche du document
1 janvier 2008
- handle: 10670/1.tfwl47
Ce document est lié à :
10.22201/iifs.18704905e.2008.993
info:eu-repo/semantics/openAccess
Mots-clés
inferencialismo Gentzen Peregrin Prior lógicaSujets proches
Argumentation Dialectic (Logic) Deduction (Logic) Deductive logic Logic, Deductive Induction, Ampliative Ampliative induction Inference (Logic) Inferencia (Lógica)Citer ce document
Axel Arturo Barceló Aspeitia, « Patrones inferenciales », Crítica (México, D.F.), ID : 10670/1.tfwl47
Métriques
Partage / Export
Résumé
RESUMEN 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.