Calcolo delle proposizioni: metodo classico Vediamo ora di procedere al calcolo delle proposizioni utilizzando il metodo piu' usato nei bienni: passeremo in rassegna i vari elementi uno per uno Negazione Congiunzione logica Disgiunzione inclusiva Operatori logici fondamentali Disgiunzione esclusiva Implicazione materiale Deduzione logica Coimplicazione Doppia deduzione logica Funzioni proposizionali Funzioni proposizionali equiveridiche Tautologia e contraddizione Regole di deduzione Dimostrazione di un teorema