Logica dei predicati del primo ordine

  1. Introduzione

  2. Sintassi
    1. Alfabeto

    2. Grammatica

  3. Semantica
    1. Introduzione
    2. Definizione di interpretazione
    3. Semantica dei quantificatori
    4. Proprietà semantiche

    5. Decidibilità

  4. Apparato deduttivo
    1. Introduzione
    2. Alberi semantici

  5. Metateoria
    1. Introduzione
    2. Teoremi di correttezza
    3. Teoremi di completezza