[Виктор124]

Уважаемый Maximus Decim, Вы хотели доказательств, так у нас их есть, как говорили когда-то в моем родном городе. Однако, сдается мне, что Вы не сможете их понять, по причине отсутствия необходимых знаний в теории нечетких множеств (оценочное суждение).
Вот получите.

Пусть заданы: формула для вычисления принадлежности, используемая в качестве Т-нормы в процессе нечеткого логического вывода
minδ (x1, x2) = 0,5·[x1 + x2 +δ2 – sqrt((x1 – х2)2 + δ2)] при δ = 0,05. Данная формула дает отрицательные значения на подмножестве упорядоченных наборов переменных, каждая из которых принадлежит [0, 1]. Например, легко получить minδ (0, 0) = – 0,02375, подставив в формулу нулевые значения каждой из двух переменных.
Пусть также заданы: А - множество всех Т-норм (логических функций) нечеткой логики, которое имеет характеристические свойство на всех без исключения входных упорядоченных наборах переменных принимать значения выходной переменной, принадлежащее закрытому интервалу [0, 1] (по определению логической операции Т-нормы); В – единичное множество, состоящее из операции Т-нормы, введенной Бобырем М.В., с характеристическим свойством принимать на подмножестве входных упорядоченных наборов переменных отрицательные значения выходных переменных, С – множество всех логических функций нечеткой логики с характеристическим свойством на всех без исключения упорядоченных наборах входных переменных принимать значения выходных переменных на закрытом интервале [0, 1].
Обозначим отношение нестрогого включения первого множества во второе P1 R P2. Очевидно, что отношение включения выполняется свойство транзитивности, потому что для этого отношения справедливо M1(x) ≤ M2(x) (M1(x) включено в М2(х)) для всех х, принадлежащих X, где М1(х) и М1(х) степени принадлежности элементов к множествам, а для отношения «меньше или равно» имеет свойство транзитивности.
Теорема.
Действительно, в качестве посылок логического вывода будем иметь два отношения включения: А R С, а также В R не-С. Множества А, В и С заданы характеристическими функциями, т.е. двузначными функциями принадлежности.
1. По закону конрапозиции выводим: А R С = не-С R не-А
2. По закону транзитивности выводим: (В R не-С) И (не-С R не-А) =
В R не-А.
Что и требовалось доказать.
Таким образом, логическая операция Бобыря М.В, не имеет общих элементов с множеством Т-норм, используемых в нечеткой логике для реализации нечеткого логического вывода.
Следствие. Поскольку по закону конрапозиции В R не-C = С R не-В, то из этого непосредственно следует, что операция Т- нормы, введенная М.В. Бобырем, не принадлежит множеству С, которое представляет собой множество всех логических операций теории нечетких множеств (нечеткая логика), т.е. эта логическая операция не является логической операцией нечеткой логики. Доказательство завершено.

Это похоже на то, когда в физике кто-то использовал бы формулу Е = - m^3·C вместо корректной формулы Е = m·C^2.
Не пытайтесь опровергать приведенные теорему и следствие, ничего не получится, поскольку доказательство строго математическое. Это подарок М.В. Бобырю на всю жизнь.
Главное, не лезьте в чужие диссертации, где рассматриваются вопросы теории алгорифмов, которую, по моему убеждению, Вы никогда не знали, не знаете и знать не будете. Вам бы осилить теорию нечетких множеств (мое мнение). Вместе с Analitik вы достаточно написали для того, чтобы, на мой взгляд, подробно ознакомится со ст. "Клевета" УК РФ.