Англійська ⇄ Російська +

two-valued propositional calculus наголоси
логіка	двузначное исчисление высказываний; классическое исчисление высказываний; двузначное пропозициональное исчисление; классическое пропозициональное исчисление
мат.	двузначное пропозициональное исчисление (классическое); двузначное исчисление высказываний (классическое)