De Morganove zákony: Rozdiel medzi revíziami

'''De Morganove zákony''' (tiež '''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.

Zákony de Morganove alebo inak De Morganove pravidláZákony sú nasledujúce dve:

¬(j &∧ y) ≡ (¬ j v ¬ y),

pričom j a y sú formule výrokového počtu, &∧ je [[konjunkcia]] a v je [[disjunkcia]].

Pokiaľ ide o [[množina|množiny]], tak sa de Morganove pravidlá interpretujú takto: