De Morganove zákony: Rozdiel medzi revíziami
Smazaný obsah Přidaný obsah
d Bot: Odstránenie 30 odkazov interwiki, ktoré sú teraz dostupné na Wikiúdajoch (d:q173300) |
dBez shrnutí editace |
||
Riadok 1:
'''De Morganove zákony''' alebo '''De Morganove pravidlá''' sú zákony vyjadrujúce vo [[výroková logika|výrokovej logike]] vzťah medzi [[Konjunkcia (logika)|konjunkciou]] a [[disjunkcia|disjunkciou]] a v [[predikátová logika|predikátovej logike]] vzťah medzi generálnymi a existenčnými vetami.
De Morganove Zákony sú nasledujúce
¬(j ∧ y) ≡ (¬ j v ¬ y),
Riadok 7:
¬(j v y) ≡ (¬ j ∧ ¬ y),
pričom j a y sú
Pokiaľ ide o [[množina|množiny]], tak sa de Morganove pravidlá interpretujú takto:
|