Każda[[Zdanie logiczne]] zdania rachunku zdań są formułami tegoż rachunku. Tak więc, każda [[zmienna zdaniowa]] <math>p_i</math> jest formułą. Taką formułę nazywa się ''literałem'' lub [[formuła atomowa|formułą atomową]]. Formułami są także [[negacja|negacje]] formuł atomowych, tzn <math>\neg p_i</math>. Ponadto, jeżeli <math>\varphi,\psi</math> są formułami i <math>*</math> jest binarnym [[Funktor zdaniotwórczy|spójnikiem zdaniowym]] ([[alternatywa|alternatywą]] <math>\vee</math>, [[Koniunkcja (matematyka)|koniunkcją]] <math>\wedge</math>, [[implikacja|implikacją]] <math>\Rightarrow</math> lub [[równoważność|równoważnością]] <math>\Leftrightarrow</math>), to <math>(\varphi*\psi)</math> oraz <math>\neg \varphi</math> są formułami. Żadne inne wyrażenie nie może być formułą.