Полный англо-русский словарь
Лог. пропозициональное исчисление, исчисление высказываний
propositional calculus