Inferencia visual para las lógicas normales
Fecha
2011-01-01
Título de la revista
ISSN de la revista
Título del volumen
Editor
Editorial EAFIT
Resumen
Este texto propone un método novedoso para el cálculo proposicional clásico, partiendo de un conjunto de reglas muy sencillas, inspiradas en las tablas de verdad tradicionales pero sin lo engorroso de estas.