https://www.passeidireto.com/arquivo/3951839/introduction-to-natural-deduction
Recomendo esse arquivo que achei no Passei Direto