Le difficoltà che s’incontrano nello studio della matematica, o di una qualunque altra scienza deduttiva, sono dovute in gran parte al fatto che le conoscenze e le capacità di ragionamento deduttivo, derivanti dall’insegnamento della logica nella scuola secondaria superiore, non sono sufficienti per capire chiaramente i passaggi di una data dimostrazione. L’obiettivo di questo libro è di formalizzare e ampliare le conoscenze di logica proponendo in maniera relativamente semplice il calcolo dei predicati del primo ordine con identità e di fornire al lettore il metodo e le tecniche di dimostrazione indispensabili per uno studio più profondo delle scienze deduttive.
