Числення висловлень: відмінності між версіями

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