Что такое пропозиционная переменная?

В алгебре логики пропозиционная переменная (от proposition - предложение, утверждение) - это переменная, в место которой можно подставлять конкретные высказывания. Две пропозиционных переменных могут быть связаны между собой различными логическими соотношениями (и, или, не и т. д) Если подставлять конкретные высказывания вместо пропозиционных переменных, связанных логическими соотношениями, то можно получать новые высказывания.