Abstract: На начальных этапах изучения теории булевых алгебр перед попыткой строго доказать или опровергнуть какое-либо несложное утверждение студентам обычно предлагают проверить свою интуицию с помощью диаграммы Венна или истиностной таблицы. И здесь возникает естественный вопрос: нужно ли после такой проверки изобретать еще и доказательство? Не является ли такая проверка сама по себе строгим доказательством проверенного утверждения? А если это в общем случае не так, то для каких утверждений это все же так? Мы отвечаем на этот вопрос и доказываем аналог теоремы Йеха, справедливый для любых (не обязательно полных) булевых алгебр.

Cite: Гутман А.Е.
Теорема о сохранении соотношений в булевых алгебрах
Воркшоп по функциональному анализу, посвященный юбилею д.ф.-м.н., профессора А.Г. Кусраева 01-03 мар. 2023