Sólo se exigen, las demostraciones de los siguientes teoremas,
1. Teorema de Validez
2. "Es efectivo decidir sobre si una disyunción de fórmulas
es o no tautología"
3. Introducción del cuantificador universal
4. Regla de generalización
5. Regla de sustitución
6. Teorema del cierre
Documentos para los alumnos