英语 ⇄ 俄语 +

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