A breve ho l'esame di logica predicativa, ma le dispense del prof nn portano esempi concreti di deduzione naturale per la logica predicativa. Qualcuno sa dove posso trovare esercizi svolti in modo da capire meglio come svolgere l'esercizio? Grazie!!!