Правила де Моргана: відмінності між версіями
| [неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Olexiim (обговорення | внесок) мНемає опису редагування |
Немає опису редагування |
||
Рядок 63:
:<math>\left(\bigcap_{i\in I}~A_i\right)^c = \bigcup_{i\in I}~A_i^c.</math>,
де <math>I \subset \mathbb N</math>
=== Історія ===
Правила де Моргана були названі в честь шотландського математика Августа де Моргана(1806-1871), який застосував формальну версію правил до класичної логіки висловлювань. Формуляція де Моргана створена на основі логіки, започаткованої Джорджем Булем. Схожі спостереження були зроблені Арістотелем, відомим грецьким логіком. Закони де Моргана можуть бути підтверджені просто і навіть здатися тривіальними. Тим не менше, ці закони є корисними в створенні значимих висновків в доказах і результатах дедуктивного міркування.
== Див. також ==
| |||