In the specific cases of propositional logic and predicate logic, the formal languages considered have alphabets that are divided into two sets: the logical symbols (logical constants) and the non-logical symbols.
У конкретних випадках логіки висловлювань і логіки предикатів, формальні мови вважаються абетками, які розділені на дві групи: логічні символи( логічні константи )і нелогічні символи.