英语 ⇄ 俄语 德语 法语 +

sentential variable 强调
Gruzovik, 数学	переменное высказывание
数学	пропозициональная переменная
计算	высказывательная переменная