Booleova algebra: Porovnání verzí
Smazaný obsah Přidaný obsah
m Odstraňuji šablonu {{link GA}} (vkládanou Wikidaty - skript od Amira) |
m Robot: přidáno {{Autoritní data}}; kosmetické úpravy |
||
Řádek 3:
== Formální definice ==
Booleova algebra je definována jako [[distributivní svaz|distributivní]] [[komplementární svaz|komplementární]] [[Svaz (matematika)|svaz]].
Jinou ekvivalentní definicí je následující. Booleova algebra je [[uspořádaná n-tice|šestice]] (''A'', ∧, ∨, −, 0, 1), kde ''A'' je neprázdná [[množina]], 0 ∈ ''A'' je [[nejmenší prvek|nejmenší]], 1 ∈ ''A'' [[největší prvek]], − je unární operace (doplněk neboli [[Komplement (svazy)|komplement]]) a ∧, ∨ jsou binární operace ([[průsek (matematika)|průsek]] a [[spojení (matematika)|spojení]]) na ''A'', splňující následující [[axiom]]y.
Řádek 68:
* [[Forsing]]
* [[De Morganovy zákony]]
{{Autoritní data}}
[[Kategorie:Algebraické struktury]]
|