DE MORGANOVY ZÁKONY
De Morganovy zákony udávají duální vztahy mezi ↗konjunkcí a ↗disjunkcí výroků prostřednictvím ↗negace, resp. mezi průnikem a sjednocením ↗množin prostřednictvím doplňku. Zobecněním je pak vztah mezi obecným a existenčním kvantifikátorem.
Negace konjunkce výroků je totéž jako disjunkce jejich negací ¬(p ∧ q) ⇔ (¬p ∨ ¬q); („není pravda, že prší a je mokro“ je totéž jako „neprší nebo není mokro“).
Negace disjunkce výroků je totéž jako konjunkce jejich negací ¬(p ∨ q) ⇔ (¬p ∧ ¬q); („není pravda, že je zrzavá nebo pihatá“ je totéž jako „není zrzavá ani pihatá“).
Negace obecného výroku je totéž jako existenční výrok s negovaným základem ¬∀xA(x) ⇔ ∃x¬A(x); („není pravda, že každý člověk je magor“ je totéž jako „existuje aspoň jeden člověk, který není magor“).
Negace existenčního výroku je totéž jako obecný výrok s negovaným základem ¬∃xA(x) ⇔ ∀x¬A(x); („není pravda, že existuje aspoň jeden člověk, který je doma prorokem“ je totéž jako „pro každého člověka platí, že není doma prorokem“ nebo obvykleji „žádný člověk není doma prorokem“).
Doplněk průniku dvou množin je totéž jako sjednocení doplňků těch množin (A ∩ B)’ = A’ ∪ B’. Doplněk sjednocení dvou množin je totéž jako průnik jejich sjednocení (A ∪ B)’ = A’ ∩ B’.
- de Morgan, A. On the Syllogism, and Other Logical Writings, 1966.
- Štěpán, J. Formální logika, 1995.
URL: https://www.czechency.org/slovnik/DE MORGANOVY ZÁKONY (poslední přístup: 2. 11. 2024)
Další pojmy:
logikaCzechEncy – Nový encyklopedický slovník češtiny
Všechna práva vyhrazena © Masarykova univerzita, Brno 2012–2020
Provozuje Centrum zpracování přirozeného jazyka