英语 ⇄ 俄语 +

alphabet of propositional calculus 强调
数学	алфавит нулевого порядка; алфавит исчисления высказываний