Negace: Porovnání verzí
Smazaný obsah Přidaný obsah
m robot přidal: ru:Отрицание (логика), sr:Негација |
+další vlastnosti |
||
Řádek 16:
==Vlastnosti==
:<math>\neg (\neg A) = A</math>
:<math>\neg (A \and B) = \neg A \or \neg B</math>
:<math>\neg (A \or B) = \neg A \and \neg B</math>
:<math>\neg (A \implies B) = A \and \neg B</math>
:<math>\neg (A \leftrightarrow B) = A \underline \or B</math> ([[exkluzivní disjunkce]])
==Podívejte se též na==
|