Lógica Matemática
Sobre la lógica de conectores
Los símbolos de conexión de enunciados verbales, o conectores, tienen una importancia capital en la formalización del sistema de la lógica proposicional. En estas notas estudiamos las reglas que se verifican en el uso de los conectores, estableciendo las más simples propiedades en el desarrollo de la formalización del sistema. Aunque no en su totalidad, seguimos en esquema la idea de la obra Introducción a la Lógica Matemática del recordado profesor Antonio González Carloman.14 enero 2017