2 y 3) Simbolizar proposiciones
6) Tautologías, contradicción y contingencia
7) Enunciados verdaderos o falsos
8) Enunciar regla de inferencia
9) Indicar reglas de indiferencia de demostraciones
10)Construir prueba formal de validez
11) Traducir al lenguaje formal y demostrar