variable proposition

Мат. переменная высказывания