Английский ⇄ Русский +

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