Introduzione alla logica e al linguaggio matematico

Lo scopo di questo breve volume è guidare lo studente che si accinge a intraprendere un curriculum di studi scientifico nell'acquisire il linguaggio e il rigore di ragionamento matematico, indispensabili a chi voglia occuparsi e dedicarsi a una scienza. Il volume quindi non vuole presentarsi come un manuale ma come un invito a capire perché le cose debbano essere fatte in un certo modo se si vuole che abbiano un certo valore scientifico. Nella trattazione si evitano quindi definizioni complesse e alcune dimostrazioni di teoremi preferendo spiegare il motivo e la ragionevolezza di certe scelte, ricorrendo spesso a controesempi e, talvolta, a considerazioni di buon senso. Altro grande pregio della presente opera è l'enorme corredo di esercizi, svolti e non svolti, di diversi gradi di difficoltà. Essi costituiscono uno strumento indispensabile per lo studente che, attraverso tentativi ed errori, voglia appropriarsi del linguaggio e del metodo matematico.