Title: Introducción a la lógica formal. 1. La lógica de los enunciados