| Revista: | Crítica (México, D.F.) |
| Base de datos: | CLASE |
| Número de sistema: | 000333793 |
| ISSN: | 0011-1503 |
| Autores: | Barceló Aspeitia, Axel Arturo1 |
| Instituciones: | 1Universidad Nacional Autónoma de México, Instituto de Investigaciones Filosóficas, México, Distrito Federal. México |
| Año: | 2008 |
| Periodo: | Dic |
| Volumen: | 40 |
| Número: | 120 |
| Paginación: | 3-35 |
| País: | México |
| Idioma: | Español |
| Tipo de documento: | Artículo |
| Enfoque: | Analítico, teórico |
| Resumen en español | 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 en1 960, dedeterminar qué reglas de inferencia definen un conectivo |
| Resumen en inglés | This article aims at setting forth a method to translate truth tables into inference rules, in propositional logic, which is as straightforward as the traditional inverse method (from rules to tables). Besides, this method allows for an elegant solution of Prior’s (1960) problem of determining when a set of inferential rules succeeds or fails indefining alogical operator |
| Disciplinas: | Filosofía |
| Palabras clave: | Lógica, Inferencia, Sintaxis, Patrones, Conectivos lógicos, Peregrin, Jaroslav, Tablas de verdad, Verdad, Condiciones |
| Texto completo: | Texto completo (Ver HTML) |
