\contentsline {section}{\numberline {1}Introduzione}{1}{section.1}
\contentsline {section}{\numberline {2}Prefazione}{1}{section.2}
\contentsline {section}{\numberline {3}Induzione}{1}{section.3}
\contentsline {section}{\numberline {4}Logica proposizionale}{7}{section.4}
\contentsline {subsection}{\numberline {4.1}Forme normali}{15}{subsection.4.1}
\contentsline {subsubsection}{\numberline {4.1.1}CNF e DNF}{18}{subsubsection.4.1.1}
\contentsline {subsection}{\numberline {4.2}Tableaux}{22}{subsection.4.2}
\contentsline {subsection}{\numberline {4.3}Risoluzioni}{25}{subsection.4.3}
\contentsline {subsection}{\numberline {4.4}Completezza}{28}{subsection.4.4}
\contentsline {subsection}{\numberline {4.5}Compattezza}{41}{subsection.4.5}
\contentsline {subsection}{\numberline {4.6}Risoluzioni ristrette}{42}{subsection.4.6}
\contentsline {subsection}{\numberline {4.7}Conseguenza proposizionale}{47}{subsection.4.7}
\contentsline {subsection}{\numberline {4.8}Sistemi di Hilbert}{48}{subsection.4.8}
\contentsline {subsection}{\numberline {4.9}Sistema di deduzione naturale}{55}{subsection.4.9}
\contentsline {subsection}{\numberline {4.10}Procedura di Davis Putnam}{61}{subsection.4.10}
\contentsline {section}{\numberline {5}Logica del I ordine}{66}{section.5}
\contentsline {subsection}{\numberline {5.1}Semantica}{75}{subsection.5.1}
\contentsline {subsection}{\numberline {5.2}Termini chiusi}{77}{subsection.5.2}
\contentsline {subsection}{\numberline {5.3}Notazione uniforme}{82}{subsection.5.3}
\contentsline {subsection}{\numberline {5.4}Sistemi di deduzione}{84}{subsection.5.4}
\contentsline {subsubsection}{\numberline {5.4.1}Tableaux I ordine}{89}{subsubsection.5.4.1}
\contentsline {subsubsection}{\numberline {5.4.2}Risoluzioni I ordine}{90}{subsubsection.5.4.2}
\contentsline {subsubsection}{\numberline {5.4.3}Hilbert del I ordine}{91}{subsubsection.5.4.3}
\contentsline {subsubsection}{\numberline {5.4.4}Deduzione naturale I ordine}{94}{subsubsection.5.4.4}
\contentsline {subsection}{\numberline {5.5}Completezza semantica}{94}{subsection.5.5}
\contentsline {subsection}{\numberline {5.6}Skolemizzazione}{100}{subsection.5.6}
\contentsline {section}{\numberline {6}*}{107}{section.6}