Логіка висловів , розділ математичною логіки, присвячений вивченню логічних форм складних висловів, утворених з елементарних висловів за допомогою в'язок, аналогічних союзам «і», «або», «якщо..., то...», заперечення («не») і ін.
