Booleova algebra: Porovnání verzí

Smazaný obsah Přidaný obsah
Bez shrnutí editace
Řádek 1:
'''BooleovaBBooleova algebra''' je [[algebraická struktura]], která modeluje vlastnosti [[množina|množinových]] a [[logika|logických]] operací. Je nazvána podle irského matematika [[George Boole|George Boolea]]. Klíčový význam mají Booleovy algebry také pro metodu [[forsing]]u.
 
== Formální definice ==