Числення висловів, числення думок, розділ математичної логіки, в якому формально-аксіоматичним методом вивчаються складні (складені) вислови, складені з простих (елементарних, не аналізованих) висловів за допомогою логічних в'язок «і», «або», «якщо..., то» і «невірно, що». При цьому ставиться мета охарактеризувати загальнозначущі в тому або іншому смисле виськазивательниє форми, тобто ті формули, які при будь-якій підстановці висловів замість змінних дають вислови, вірні у відповідному сенсі.
