Exercicis de molts nivells explicats pas a pas. Si encara vols més exemples (però sense comentar), mira l'última secció. El que intento explicar aquí no són les regles, sinó el com s'ha de pensar per a que et vingui al cap la idea màgica que ho soluciona.
Això és el que més vaig trobar a faltar quan havia d'estudiar deducció natural.