(09/03/2021h.9/11--10/03/2021h11/13) Calcolo proposizionale e calcolo delle relazioni diadiche.
Section outline
-
Dalle due logiche presentate questa settimana passeremo alle logiche booleane. Quella proposizionale sarà il primo esempio di logica booleana, un concetto non ancora introdotto ma che entrerà in gioco molto presto.
-
Ci rifacciamo qui a un'esposizione assiomatica della logica proposizionale, desunta da un classico della logica di Alonzo Church. La parte di questi lucidi che riguarda la sintesi di circuiti va oltre il programma di quest'anno.
-
Viene completata qui un'esposizione della logica delle relazioni diadiche, della quale la settimana scorsa era stata presentata la semantica, alla luce della quale la nozione di derivabilità che verrà qui introdotta risulta piú chiara. Però la derivabilità qui introdotta non cattura appieno la consequenzialità logica introdotta per via semantica.
-