Anglais ⇄ Russe +

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