Булева алгебра: различия между версиями

[отпатрулированная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
отмена правки 102992494 участника 109.184.169.198 (обс.)
Метка: отмена
Строка 170:
: Эта булева алгебра наиболее часто используется в [[логика|логике]], так как является [[точная модель|точной моделью]] классического [[исчисление высказываний|исчисления высказываний]]. В этом случае 0 называют ''ложью'', 1 — ''истиной''. Выражения, содержащие булевы операции и переменные, представляют собой высказывательные формы.
* Множество всех подмножеств данного множества ''S'' образует булеву алгебру относительно операций ∨ := ∪ (объединение), ∧ := ∩ (пересечение) и унарной операции дополнения. Наименьший элемент здесь — [[пустое множество]], а наибольший — всё ''S''.
* Рассмотрим множество <math>U</math> всех натуральных делителей заданного натурального числа <math>m,</math> [[Свободное от квадратов число|свободного от квадратов]]. Определим на <math>U</math> две бинарные операцииоперация: нахождение [[Наибольший общий делитель|наибольшего общего делителя]] (аналог конъюнкции) и [[Наименьшее общее кратное|наименьшего общего кратного]] (аналог дизъюнкции); роль отрицания играет одноместная операция, сопоставляющая делителю <math>d</math> делитель <math>m/d.</math> Полученная структура является булевой алгеброй; в ней аналогами булевских нуля и единицы выступают соответственно числа 1 и <math>m.</math> Переложение приведенных выше общих аксиом и свойств булевой алгебры для множества <math>U</math> даёт ряд полезных и не очевидных теоретико-числовых тождеств<ref>{{книга |автор=Виленкин Н. Я., Шибасов Л. П. Шибасова 3. Ф. |ref=За страницами учебника математики |заглавие=За страницами учебника математики : Арифметика. Алгебра. Геометрия : Кн. для учащихся 10-11-х кл. общеобразоват. учреждений |ссылка=https://search.rsl.ru/ru/record/01001733870 |место=М. |издательство=Просвещение : АО "Учеб. лит." |год=1996 |страницы=197 |страниц=319}}</ref>.
* [[Алгебра Линденбаума — Тарского]] ([[фактормножество]] всех утверждений по отношению равносильности в данном исчислении с соответствующими операциями) какого-либо исчисления высказываний является булевой алгеброй. В этом случае истинностная оценка формул исчисления является [[гомоморфизм]]ом алгебры Линденбаума — Тарского в двухэлементную булеву алгебру.
* Если ''R'' — произвольное [[кольцо (алгебра)|кольцо]], то на нём можно определить множество ''центральных идемпотентов'' так: <br> ''A'' = { ''e'' ∈ ''R'' : ''e''² = ''e'', ''ex'' = ''xe'', ∀''x'' ∈ ''R'' }, <br> тогда множество ''A'' будет булевой алгеброй с операциями ''e'' ∨ ''f'' := ''e'' + ''f'' − ''ef'' и ''e'' ∧ ''f'' := ''ef''.