Angielski ⇄ Rosyjski +

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