значення). Термін В«операціяВ» як правило, застосовується до арифметичним або логічним діям, на відміну від терміна В«операторВ», який найчастіше застосовується до деяких відображенням множини на себе, мають чудові свойства.В роботі будуть розглянуті унарні і бінарні операції.
Унарні операцією або одномісній операцією на безлічі M називається відображення безлічі в себе , яке кожному елементу безлічі M , званому операндом , ставить у відповідність деякий елемент того ж безлічі, званий результатом .
Висловлювання будуються над безліччю {B, , , , 0, 1}, де B - непорожнє безліч, над елементами якого визначено три операції:
- - заперечення - унарна операція над судженнями, результатом якої є судження (у відомому сенсі) В«протилежнеВ» вихідного . Позначається знаком В¬ перед або рисою над судженням. Синонім: логічне "НЕ".
- - кон'юнкція - (від лат. conjunctio союз, зв'язок) - логічна операція, за своїм застосуванню максимально наближена до союзу "і". Синоніми: логічне "І", логічне множення, іноді просто "І". Кон'юнкція може бути бінарної операцією, тобто, мати два операнда, тернарной операцією, тобто мати три операнда або n-арної операцією, тобто мати n операндів.
- - диз'юнкція - (лат. disjunctio - роз'єднання) логічна операція, за своїм застосуванню максимально наближена до союзу В« або В»в сенсіВ« або те, або це, або обидва відразу В». Синоніми: логічне В«АБОВ», що включає В«АБОВ», логічне додавання, іноді просто В«АБОВ».
- константи - логічний нуль 0 і логічна одиниця < b align = "justify"> 1 .
диз'юнктів - пропозіціональная формула, яка є диз'юнкцією одного або більше літералів (наприклад ).
Кон'юнктів ...
