Boken 'Formallogikk' av Eivind Kolflaath dykker ned i den logiske strukturen til utsagn og resonnementer, og undersøker hvordan konklusjoner nødvendigvis følger av premissene. Denne disiplinen er ikke bare sentral i filosofi, matematikk, informatikk og lingvistikk, men gir også verdifulle ferdigheter i rettsvitenskap og andre fagfelt hvor klar argumentasjon er essensiell. Boken fungerer som en grunnleggende introduksjon til både setnings- og predikatlogikk, og tar samtidig for seg mer komplekse temaer som metalogiske problemstillinger. Den er spesielt tilrettelagt for studenter og lesere uten tidligere erfaring fra fag som benytter formelle metoder, og gir en solid plattform for videre forståelse av formallogikkens nyanser.
