Поняття логіки висловлень, операції над висловленнями. Таблиці істинності. Логічні формули

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

-місним логічним сполучником чи логічною операцією в математичній логіці називається -місна операція над висловлюваннями, що утворює нове висловлювання, таке, що коли для кожного висловлювання відоме його значення істинності, то і для утвореного висловлення відоме його значення істинності.