Identificación de los elementos y operaciones básicas de la lógica proposicional, de tal manera que se pueda analizar y evaluar la estructura proposicional de un enunciado.