Kolejne rozdziały stanowią wprowadzenie do języka i pojęć używanych w logice matematycznej. Niniejszy opisuje tzw. Rachunek Zdań.
Zapewne każdy zna arytmetykę liczb całkowitych. Dostępne są tam działania (dodawanie, mnożenie, dzielenie), konkretne liczby (jak 0, -5, czy 103534) oraz zmienne czyli literki w miejsce których można wstawić dowolną liczbę. Przykładowe wyrażenie arytmetyczne wygląda tak a * 7 + (b − c) * h. Na rachunek zdań można patrzeć jak na arytmetykę wartości logicznych (prawda i fałsz).