Заперечення диз’юнкції
заперечення диз'юнкції - - [Л.Г.Суменко. Англо-український словник з інформаційних технологій. М.: ДП ЦНИИС, 2003.] Тематики інформаційні технології загалом EN non disjunction … Довідник технічного перекладача
ЗАМИРАННЯ. — ЗАМИЛКА. 1. У природній мові залежно від розташування розрізняють зовнішнє і внутрішнє заперечення. Зовнішнє (пропозиціональне) служить утворенню складного висловлювання з іншого (не обов'язково простого) висловлювання. У ньому… … Філософська енциклопедія
заперечення - ЗАМОВИТИ (у логіці) спеціальна логічна операція. Залежно від розташування розрізняють зовнішнє і внутрішнє О., властивості та ролі яких суттєво різняться. 1. Зовнішнє О. (пропозиціональне) служить для освіти ... Енциклопедія епістемології та філософії науки
ЗАКОНИ ДЕ МОРГАНА - закони логіки висловлювань, що пов'язують заперечення з операціями кон'юнкції та диз'юнкції, що відповідають логіч. союзів та й нерозділювальних або природних. мови. З. де М. у словесному формулюванні були відомі ще схоластич. логікам. У математич.… … Філософська енциклопедія
закон де моргана - загальна назва логічних законів, що пов'язують за допомогою заперечення кон'юнкцію (і) і диз'юнкцію (або). Названо ім'ям англ. логіка ХІХ ст. А. де Морган. Один із цих законів можна висловити так: заперечення кон'юнкції еквівалентно диз'юнкції… … Словник термінів логіки
АЛГЕБРА ЛОГІКИ - система алгебраїч. методів вирішення логіч. задач, і навіть сукупність завдань, розв'язуваних такими методами. А. л. у вузькому значенні слова алгебраїч. (Табличне, матричне) побудова класич. логіки висловлювань, в якому розглядаються... Філософська енциклопедія
Булева функція — У цій статті чи розділі є списокджерел або зовнішніх посилань, але джерела окремих тверджень залишаються неясними через відсутність виносок.
ЛОГІКА ВИКАЗІВ — розділ логіки, в якому вивчаються істинні взаємозв'язки між висловлюваннями. У межах цього розділу висловлювання (пропозиції, пропозиції) розглядаються лише з т.зр. їх істинності чи хибності, безвідносно до їхньої внутрішньої суб'єктно… Філософська енциклопедія
Булеві вирази — Теоретично дискретних функціональних систем булевої функцією називають функцію типу , де бульова безліч, а n невід'ємне ціле число, яке називають арністю або місцевістю функції. Елементи 1 (одиниця) та 0 (нуль) стандартно інтерпретують… … Вікіпедія
Булева логіка — Не слід плутати з булевою алгеброю. Алгебра логіки є розділ математичної логіки, в якому вивчаються логічні операції над висловлюваннями. Висловлювання можуть бути істинними та хибними. 1 Визначення 2 Аксіоми 3 Логічні операції … Вікіпедія