Полный русско-английский словарь
Мат. sentential variable
Пропозициональная переменная
Пропозициональная Переменная