Булева алгебра: различия между версиями
[отпатрулированная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
LGB (обсуждение | вклад) отмена правки 102992494 участника 109.184.169.198 (обс.) Метка: отмена |
|||
Строка 170:
: Эта булева алгебра наиболее часто используется в [[логика|логике]], так как является [[точная модель|точной моделью]] классического [[исчисление высказываний|исчисления высказываний]]. В этом случае 0 называют ''ложью'', 1 — ''истиной''. Выражения, содержащие булевы операции и переменные, представляют собой высказывательные формы.
* Множество всех подмножеств данного множества ''S'' образует булеву алгебру относительно операций ∨ := ∪ (объединение), ∧ := ∩ (пересечение) и унарной операции дополнения. Наименьший элемент здесь — [[пустое множество]], а наибольший — всё ''S''.
* Рассмотрим множество <math>U</math> всех натуральных делителей заданного натурального числа <math>m,</math> [[Свободное от квадратов число|свободного от квадратов]]. Определим на <math>U</math> две бинарные
* [[Алгебра Линденбаума — Тарского]] ([[фактормножество]] всех утверждений по отношению равносильности в данном исчислении с соответствующими операциями) какого-либо исчисления высказываний является булевой алгеброй. В этом случае истинностная оценка формул исчисления является [[гомоморфизм]]ом алгебры Линденбаума — Тарского в двухэлементную булеву алгебру.
* Если ''R'' — произвольное [[кольцо (алгебра)|кольцо]], то на нём можно определить множество ''центральных идемпотентов'' так: <br> ''A'' = { ''e'' ∈ ''R'' : ''e''² = ''e'', ''ex'' = ''xe'', ∀''x'' ∈ ''R'' }, <br> тогда множество ''A'' будет булевой алгеброй с операциями ''e'' ∨ ''f'' := ''e'' + ''f'' − ''ef'' и ''e'' ∧ ''f'' := ''ef''.
|