\begin{theindex}

  \item *, 106

  \indexspace

  \item albero binario, 3
  \item albero sintattico, 68

  \indexspace

  \item CNF e DNF, 19
  \item Compattezza, 42
  \item compattezza, 42
  \item compattezza I ordine, 98
  \item Completezza, 29
  \item Completezza semantica, 93
  \item congiunzioni letterali, 19
  \item Conjunctive Normal Form, 19
  \item connettivi primari, 15
  \item Conseguenza proposizionale, 48
  \item coppia di disaccordo, 74
  \item costanti, 68

  \indexspace

  \item Deduzione naturale I ordine, 92
  \item disgiunzioni letterali, 19
  \item Disjunctive Normal Form, 19

  \indexspace

  \item enunciati, 69

  \indexspace

  \item Forme normali, 15
  \item formule atomiche, 8
  \item funzione induttiva, 6

  \indexspace

  \item Generalizzazione Universale, 90

  \indexspace

  \item Hilbert del I ordine, 90
  \item Hintikka, 29
  \item Hintikka I ordine, 93

  \indexspace

  \item Induzione, 1
    \subitem strutturale, 5
  \item insieme indotto, 2
  \item insieme libero, 5
  \item interpretazione, 77
  \item Introduzione, 1
  \item invariante, 21
  \item istanza, 84

  \indexspace

  \item letterali, 19
  \item libera, 69
  \item Logica del I ordine, 67
  \item Logica proposizionale, 7

  \indexspace

  \item modello di Herbrand, 80
  \item Modus Ponens, 50

  \indexspace

  \item Notazione uniforme, 84

  \indexspace

  \item operatore duale, 13

  \indexspace

  \item Prefazione, 1
  \item premessa, 103
  \item Procedura di Davis Putnam, 62
  \item proprieta' di consistenza, 30
  \item proprieta' di consistenza I ordine, 95

  \indexspace

  \item rango, 18
  \item regole di espansione, 27
  \item regole risolutive, 27
  \item Risoluzioni, 26
  \item Risoluzioni I ordine, 89
  \item Risoluzioni ristrette, 43
  \item Robinson, 47

  \indexspace

  \item Semantica, 77
  \item sequenza di costruzione, 4
  \item Sistema di deduzione naturale, 56
  \item Sistemi di deduzione, 87
  \item Sistemi di Hilbert, 49
  \item Skolemizzazione, 99
  \item sostituzione, 69
  \item sostituzione libera, 71

  \indexspace

  \item Tableaux, 22
  \item tableaux, 22
  \item Tableaux I ordine, 87
  \item termini, 68
  \item Termini chiusi, 78
  \item thm di Herbrand, 98

  \indexspace

  \item Unificazione concorrente, 76
  \item Unificazione multipla, 76

  \indexspace

  \item valutazione booleana, 9
  \item variabile legata, 69

\end{theindex}