Змінна, значеннями якої є|з'являються,являються| вислови|висловлювання|, називається пропозиціональною| змінною. Поняття пропозиціональної| формули вводиться|запроваджується| по індукції:
1) вираз|вираження|, що складається тільки|лише| з пропозиціональній| змінної, є|з'являється,являється| пропозициональною| формулою;
2) якщо і – пропозиціональні| формули, то кожний з виразів
, (), (), () і () – пропозиціональна| формула;
3) послідовність символів тільки|лише| тоді є|з'являється,являється| пропозиціональною| формулою, коли вона побудована|споруджена| відповідно до 1) і 2).