Ejercicios de varios niveles explicados paso a paso. Si quieres aún más ejemplos (sin comentar), mira la última sección. Lo que intento explicar no son las reglas, sino el cómo hay que pensar para que se te ocurra la idea mágica que lo soluciona.
Esto es lo que más eché en falta cuando tenía que estudiar deducción natural.