Правила де Моргана: відмінності між версіями

'''Правила де Моргана''' — властивість [[булева алгебра|булевих алгебр]], що дозволяє виразити одну з двоїстих операцій <math>\ \lor,\land</math> через іншу і унарну операцію <math>\ \lnot</math> доповнення (заперечення). Особливо часто використовуються у [[алгебра множин|алгебрі множин]] і [[алгебра логіки|алгебрі логіки]], що є прикладами булевої алгебри. Названі на честь англійськогобританського математика і логіка [[Ауґустус де Морґан|Ауґустуса де Моргана]].

Правила де Моргана були названі в честь англійськогобританського математика [[Ауґустус де Морґан|Ауґустуса де Моргана (1806-1871)]], який застосував формальну версію правил до класичної логіки висловлювань. Формуляція де Моргана створена на основі логіки, започаткованої [[Джордж Буль|Джорджем Булем]]. Схожі спостереження були зроблені [[Арістотель|Арістотелем]], відомим грецьким логіком. Закони де Моргана можуть бути підтверджені просто і навіть здатися тривіальними. Тим не менше, ці закони є корисними в створенні значимих висновків в доказах і результатах дедуктивного міркування.