Полный англо-русский словарь
I пропозициональный II сентенциальный
сентенциозный, нравоучительный (математика) относящийся к высказываниям — * calculus исчисление высказываний