Patrones inferenciales
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.
Saved in:
| Main Author: | |
|---|---|
| Format: | Digital revista |
| Language: | Spanish / Castilian |
| Published: |
Universidad Nacional Autónoma de México, Instituto de Investigaciones Filosóficas
2008
|
| Online Access: | http://www.scielo.org.mx/scielo.php?script=sci_arttext&pid=S0011-15032008000300003 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | 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. |
|---|