Publicación: Inferencia visual para las lógicas normales
Fecha
2011-01-01
Autores
Sierra-Aristizabal, Manuel H.
dc.contributor.advisor
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.
Descripción
Palabras clave
Citación
dc.relation.uri
dc.identifier.doi
Colecciones
dc.rights
Editorial EAFIT