Lógica
Constructor de tablas de verdad
Reglas de derivación
Programa para realizar derivaciones
Ejercicios sobre tablas de verdad
Ejercicios de derivación
Test de conocimiento
de las reglas de derivación