英语 ⇄ 俄语 +

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