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!
|
Be the first to leave a comment!