малих арабських цифр, можливо з індексами

символів логічних операцій (¬, ᴧ, v, -> )

малих латинських літер, можливо з індексами, що називаються пропозиційними буквами (а, сj)

ніяких більше символів числення висловлень немає

символів дужок (, )