Logica a fumetti è un libro di introduzione alla logica formale. La logica formale è una disciplina di dimensioni ampie, in cui rientrano tutti gli studi dei sistemi di deduzione di proposizioni. Le differenze tra i sistemi di logica dipende dal numero di connettivi considerati, dagli elementi semplici che costituiscono le proposizioni. La logica classica proposizionale ha come elementi semplici le proposizioni atomiche indicate con lettere minuscole e ha come connettivi gli operatori classici (e, o, non…). La logica predicativa considera anche predicati (indicati in genere con lettera maiuscola), termini singolari che stanno per entità di un dominio di interpretazione, gli operatori classici della logica proposizionale e i quantificatori (universale ed esistenziale). La logica modale include operatori modali di necessità e possibilità. E così via. Logica a fumetti introduce a molti tipi di logica mediante uno stile, appunto, fumettistico.