Schema della sezione

◄20/09/2018: Dimostrazione di Tautologie
►27/09/2018: Esercitazione su Calcolo Proposizionale

    • Tautologie: dimostrazioni e controesempi
    • Sulla sintassi del Calcolo Proposizionale
    • Ambiguità, precedenza tra connettivi e parentesi
    • Altre Leggi del Calcolo Proposizionale
    Dispense: [LP1], fino a pag 12

◄20/09/2018: Dimostrazione di Tautologie
►27/09/2018: Esercitazione su Calcolo Proposizionale