英语 ⇄ 俄语 +

two-valued propositional calculus 强调
数学	двузначное пропозициональное исчисление (классическое); двузначное исчисление высказываний (классическое)
逻辑	двузначное исчисление высказываний; классическое исчисление высказываний; двузначное пропозициональное исчисление; классическое пропозициональное исчисление