Ejercicios de autoevaluación
1. Verdad, validez y solidez
2. Fórmulas bien formadas
3. Formalización
4. Conectivas dominantes
5. Definiciones básicas
6. Tablas de verdad e interpretaciones semánticas
Evaluación