Logica proposizionale

  1. Sintassi
    1. Alfabeto
    2. Grammatica

  2. Semantica
    1. Tavole di verità
    2. Valutazione
    3. Modello
    4. Proprietà semantiche

  3. Apparato deduttivo
    1. Introduzione
    2. Alberi semantici

    3. Deduzione naturale

  4. Metateoria
    1. Introduzione
    2. Teoremi di correttezza e completezza per gli alberi semantici

    3. Teoremi di correttezza e completezza per il calcolo proposizionale a deduzione naturale