Большой англо-русский и русско-английский словарь
I пропозициональный II сентенциальный сентенциозный, нравоучительный (математика) относящийся к высказываниям - * calculus исчисление высказываний
Новый большой англо-русский словарь
[senʹtenʃ(ə)l] a
1. сентенциозный, нравоучительный
2. мат. относящийся к высказываниям
sentential calculus - исчисление высказываний