Section outline

  • 28/09/23: Introduzione al corso. Introduzione alla logica. Ragionamento deduttivo, induttivo e abduttivo. Logica proposizionale e dei predicati.
    05/10/23: (1 ora) Proposizioni semplice e composte. Variabili e funzioni proposizionali.
    12/10/23: Connettivi: negazione, congiunzione, disgiunzione, implicazione, doppia implicazione
    19/10/23: Esercitazione.
    26/10/23: Forme proposizionali. Tautologie, contraddizioni, ed equivalenza logica. Equivalenze logiche notevoli
    02/11/23: Equivalenze logiche che coinvolgono implicazione, doppia implicazione e disgiunzione esclusiva. Semplificazione algebrica delle f.p. Determinare una f.p. dalla sua tavola di verità.
    09/11/23: (1 ora) Basi di connettivi.
    16/11/23: Reti logiche. Conseguenza logica e correttezza delle regole di inferenza.
    23/11/23: La logica dei predicati. Interpretazioni.
    30/11/23: Formalizzazione della logica delle proposizioni.
    07/12/23: Formalizzazione della logica dei predicati.
    14/12/23: Equivalenze e conseguenze logiche notevoli nella logica dei predicati.
    21/12/23: Esercizi su logica delle proposizioni e dei predicati.