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

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