De Morganove zákony
De Morganove zákony alebo De Morganove pravidlá sú zákony vyjadrujúce vo výrokovej logike vzťah medzi konjunkciou a disjunkciou a v predikátovej logike vzťah medzi generálnymi a existenčnými vetami.
De Morganove Zákony sú nasledujúce dva:
¬(j ∧ y) ≡ (¬ j v ¬ y),
¬(j v y) ≡ (¬ j ∧ ¬ y),
pričom j a y sú formuly výrokového počtu, ∧ je konjunkcia a v je disjunkcia.
Pokiaľ ide o množiny, tak sa de Morganove pravidlá interpretujú takto:
(A U B)´ = ( A´ ∩ B´ ),
(A ∩ B)´ = ( A´ U B´ ),
pričom A a B sú množiny, U je zjednotenie a ∩ je prienik množín.
Externé odkazy
- FILIT – zdroj, z ktorého pôvodne čerpal tento článok.
🔥 Top keywords: Hlavná stránkaŠpeciálne:HľadanieFacebookYouTubeŠpeciálne:PoslednéÚpravySlovenskoLiga majstrov UEFABratislavaCloud seedingJán MazákAdriana SklenaříkovaVoľby do Európskeho parlamentu na Slovensku v roku 2024Likvidita (platobná schopnosť)Real Madrid CFMilan Rastislav ŠtefánikDeň narcisovDubaj (mesto)17. aprílSlovenská abecedaČlenovia Európskej únieIzraelZoznam miest na SlovenskuDeň ZemeFedor FlašíkFrýdek-MístekZuzana DolinkováČierny kašeľIveta BartošováDruhá svetová vojnaKoníkovitéDunaj, k vašim službámKošiceIgnác GessayZoznam okresov na SlovenskuMajstrovstvá sveta v ľadovom hokeji 2024Medveď hnedýAlojz HlinaRys ostrovidTomáš Taraba