А ... "нечеткая логика" и т.п. - это формальная или не формальная, например ? ...
\
Уж .. вообще ... "нечеткая логика" и т.п. -
КАК И ОБЫЧНО : это всего лишь ..
разделы логики формальной !
можно говорить .. никакой формальной - нет, а есть просто логика - это ничего не меняет - ...
\
Наоборот : это - меняет всё . Когда каждый хвастает наличием у него какой то логики особенной (включая и женскую диалектику) ..
тут хошь не хошь - придётся рассматривать - а в каком же отношении друг к дружке они находятся . .
И люди - испокон веков этим рассматриванием занимаясь ..
пришли к непреложному выводу, что ОБОБЩАЮЩЕЙ :
ДЛЯ ВСЕХ разнообразных логик - является . .
ИМЕННО
- формальная логика !Которая адекватно
описывает всё :от самых правильных объектов -
до безответственной дУУри . .
ВКЛЮ-ЧИТ-ЕЛЬНО ! ! !
==
...
Недискретность реальности мы учитываем.
"функция принадлежности элемента к множеству может принимать любые значения в интервале [0...1], а не только 0 или 1. Такие множества были названы нечёткими"
\
Не мешало бы выражаться поаккуратнее :
функция ВЕРОЯТНОСТИ принадлежности . .
ИБО ОБЪЕКТИВНО самоё принадлежность -
строго дискретно : ЛИБО - ОНА ЕСТЬ ..
ЛИБО - НЕТ ЕЁ и в помине ! ! !
И ТРЕТЬЕГО - НЕ ДАНО !
==
Но даже это обстоятельство - ничего не добавляет в ВАше оправдание !
Ибо - не только любые значения в интервале [0...1], НО И ..
любые значения В ЛЮБОМ интервале :
- формальная логика !
.. адекватно описывает всё :от самых правильных объектов -
до безответственной дУУри . .
ВКЛЮ-ЧИТ-ЕЛЬНО ! ! !
====
И задача Вам прежняя : ПОКАЖИТЕ МНЕ
. . ХОТЯ БЫ ОДИН ОБЪЕКТ -
который нельзя описать законами логики формальной !