La capacità di ragionamento, caratterizzata da una spiccata duttilità cognitiva e da buone competenze categoriali, è di fondamentale importanza per l'accesso al mondo del lavoro, dell'impresa e delle professioni.
Questo manuale presenta un'introduzione alla logica proposizionale e al ragionamento. L'obiettivo del volume è quello di fornire gli strumenti di base utili per affrontare la risoluzione di quesiti di logica e di interpretazione del testo.
L'introduzione della logica nei programmi scolastici ed universitari è avvenuto in concomitanza con quello dell’informatica e delle abilità ad essa correlate. Lo studio della logica richiede infatti la comprensione di linguaggi formali che sono in sintonia con i linguaggi di programmazione utilizzati in informatica. Da un punto di vista storico, infatti, gli sviluppi teorici legati alla logica hanno preceduto quelli legati all'informatica e ne hanno costituito la cornice teorica di riferimento.
Per questo motivo lo studio della logica è considerato uno strumento utile ad inquadrare e comprendere la struttura e le funzionalità dei calcolatori. La logica è quindi di fondamentale importanza se si vuole accedere al mondo dell'informatica non come utenti passivi, ma con mentalità critica e voglia di capirne i risvolti concettuali e teorici.
Le teorie e le tecniche di risoluzione presentate in questo manuale metteranno alla prova le abilità del lettore, sia per quanto riguarda le capacità interpretative di un testo, sia per quanto riguarda le capacità logiche, applicate in varie situazioni e con differenti livelli di formalizzazione, dalla logica delle proposizioni alla logica formale.
La parte finale di questo manuale presenta più di 150 esercizi, divisi per argomento. In appendice è possibile trovare le soluzioni agli esercizi proposti.