英语 ⇄ 俄语 +

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