Forma clausale e principio di risoluzione

  1. Introduzione

  2. Sintassi
    1. Definizione di clausola

    2. Passaggio dalla forma standard della logica alla forma clausale

    3. Clausole di Horn
    4. Riferimenti: Forma clausale per la dimostrazione automatica di teoremi

  3. Semantica
    1. Semantica della logica proposizionale e dei predicati

    2. Semantica della clausola vuota
    3. Semantica delle conclusioni alternative
    4. Semantica per le clausole utilizzate nella dimostrazione automatica di teoremi

  4. Apparato deduttivo
    1. Introduzione
    2. Definizione informale del principio di risoluzione

    3. Concetti per la definizione formale del principio di risoluzione

    4. Definizione formale del principio di risoluzione

    5. Usi del principio di risoluzione

    6. Risoluzione ed equivalenza
    7. Strategie di risoluzione

  5. Metateoria
    Teoremi di correttezza e di completezza del principio di risoluzione
    1. Introduzione
    2. Teoremi di correttezza
    3. Teoremi di completezza