Terms containing proposition variable

Subject	English	Russian
automat.	proposition variable	препозиционная переменная
math.	proposition variable	пропозициональная переменная
math.	variable proposition	переменная высказывания