числення висловлювань

ЧИСЛЕННЯ ВИСЛОВЛЮВАНЬ — пропозиційне числення — розділ математичної логіки, який за обсягом збігається з логікою висловлювань і є її формальною побудовою. Існує багато шляхів формальної побудови логіки висловлювань, тобто можливі різні Ч. в. Проте при побудові кожного Ч. в. треба насамперед визначити його мову, тобто вказати вихідні символи (знаки логічних операцій — λ v Z> для заперечення, кон'юнкції, диз'юнкції, імплікації; пропозиційні змінні р, q, г...', дужки) і правила утворення формул із символів. В Ч. в. синтаксично визначаються правильно побудовані формули. Серед них вибираються аксіоми, що розглядаються як тавтології, тобто такі формули, які при всіх наборах значень для змінних, що їх складають, виявляються істинними. З аксіом за допомогою фіксованих правил виводу одержують теореми або доведені формули. Розрізняють класичне Ч. в. (яке містить у собі виключеного третього закон і класичне розуміння заперечення), а також різні некласичні Ч. в. Термін "Ч. в." вживають як синонім терміна "класичне числення висловлювань". Ч. в. становить основу формальної побудови всіх інших логічних теорій (див. числення предикатів), а завжди істинні формули Ч. в. використовуються як правила доведення наукових положень.