\BOOKMARK [1][]{section.1}{Introduzione}{}
\BOOKMARK [1][]{section.2}{Prefazione}{}
\BOOKMARK [1][]{section.3}{Induzione}{}
\BOOKMARK [1][]{section.4}{Logica proposizionale}{}
\BOOKMARK [2][]{subsection.4.1}{Forme normali}{section.4}
\BOOKMARK [3][]{subsubsection.4.1.1}{CNF e DNF}{subsection.4.1}
\BOOKMARK [2][]{subsection.4.2}{Tableaux}{section.4}
\BOOKMARK [2][]{subsection.4.3}{Risoluzioni}{section.4}
\BOOKMARK [2][]{subsection.4.4}{Completezza}{section.4}
\BOOKMARK [2][]{subsection.4.5}{Compattezza}{section.4}
\BOOKMARK [2][]{subsection.4.6}{Risoluzioni ristrette}{section.4}
\BOOKMARK [2][]{subsection.4.7}{Conseguenza proposizionale}{section.4}
\BOOKMARK [2][]{subsection.4.8}{Sistemi di Hilbert}{section.4}
\BOOKMARK [2][]{subsection.4.9}{Sistema di deduzione naturale}{section.4}
\BOOKMARK [2][]{subsection.4.10}{Procedura di Davis Putnam}{section.4}
\BOOKMARK [1][]{section.5}{Logica del I ordine}{}
\BOOKMARK [2][]{subsection.5.1}{Semantica}{section.5}
\BOOKMARK [2][]{subsection.5.2}{Termini chiusi}{section.5}
\BOOKMARK [2][]{subsection.5.3}{Notazione uniforme}{section.5}
\BOOKMARK [2][]{subsection.5.4}{Sistemi di deduzione}{section.5}
\BOOKMARK [3][]{subsubsection.5.4.1}{Tableaux I ordine}{subsection.5.4}
\BOOKMARK [3][]{subsubsection.5.4.2}{Risoluzioni I ordine}{subsection.5.4}
\BOOKMARK [3][]{subsubsection.5.4.3}{Hilbert del I ordine}{subsection.5.4}
\BOOKMARK [3][]{subsubsection.5.4.4}{Deduzione naturale I ordine}{subsection.5.4}
\BOOKMARK [2][]{subsection.5.5}{Completezza semantica}{section.5}
\BOOKMARK [2][]{subsection.5.6}{Skolemizzazione}{section.5}
\BOOKMARK [1][]{section.6}{*}{}