Zdania w rachunku zdań Definicja Aby zdefiniować formalnie, czym jest zdanie, najpierw ustalamy zbiór zmiennych zdaniowych (tradycyjnie jest to zbiór liter z indeksami będącymi liczbami naturalnymi, czyli ). Zmienne zdaniowe mają reprezentować proste zdania, których wartość logiczną możemy łatwo rozstrzygnąć, ale ta interpretacja nie jest w ogóle potrzebna w rachunku zdań. Zmienne zdaniowe mogą być (i często są) traktowane jako formalne symbole bez specjalnego znaczenia poza budowaną teorią.
Następnie ustalamy zbiór spójników logicznych, z których każdy ma ustaloną arność. Najczęściej używanymi spójnikami logicznymi są: spójnik jednoargumentowy (negacja) i cztery spójniki dwuargumentowe: (alternatywa), (koniunkcja), (implikacja) i (równoważność).
Niech będzie zbiorem ciągów symboli, który jest najmniejszym zbiorem o następujących własnościach: każda zmienna zdaniowa należy do jeśli to również jeśli i jest binarnym spójnikiem zdaniowym, to również
Elementy zbioru są nazywane zdaniami.