Buongiorno,
volevo comunicarvi che ho aggiunto le soluzioni del compito di logica del 11/2/2025. Le soluzioni sono molto dettagliate, soprattutto per quanto riguarda la parte delle dimostrazioni con la deduzione naturale. Invito pertanto tutti coloro che devono ancora sostenere l'esame del modulo di logica a guardarle con attenzione.