英语 ⇄ 俄语 +

extended propositional calculus 强调
数学	расширенное исчисление высказываний; расширенное пропозициональное исчисление; расширенное исчисление высказываний, расширенное пропозициональное исчисление