Introducción a la Lógica Simbólica: Pretesis