Le difficolt&agrave; che s&rsquo;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&agrave; di ragionamento deduttivo, derivanti dall&rsquo;insegnamento della logica nella scuola secondaria superiore, non sono sufficienti per capire chiaramente i passaggi di una data dimostrazione. L&rsquo;obiettivo di questo libro &egrave; di formalizzare e ampliare le conoscenze di logica proponendo in maniera relativamente semplice il calcolo dei predicati del primo ordine con identit&agrave;&nbsp; e di fornire al lettore il metodo e<br />le tecniche di dimostrazione indispensabili per uno studio pi&ugrave; profondo delle scienze deduttive.