Booleova algebra: Porovnání verzí

Smazaný obsah Přidaný obsah
JAnDbot (diskuse | příspěvky)
m Odstraňuji šablonu {{link GA}} (vkládanou Wikidaty - skript od Amira)
JAnDbot (diskuse | příspěvky)
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]]