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