2021-03-262011-01-019589041981http://hdl.handle.net/10784/27438Este 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.spaEditorial EAFITInferencia visual para las lógicas normalesinfo:eu-repo/semantics/book2021-03-26Sierra-Aristizabal, Manuel H.