Propositional logic begins with propositional variables, atomic units that represent concrete propositions.
Логіка висловлювань починається з пропозиціональних змінних, атомних одиниць, які представляють конкретні пропозиції.