Напомню, что в бесконечнозначной логике (БЗЛ) значность может принимать непрерывные значения от абсолютной лжи (т.е., нуля) до абсолютной истины, т.е. единицы. Если посмотреть на отрезок [0,1] с другой стороны, то получается та же БЗЛ, но отрицательная, что и было доказано Лукасевичем. В нечёткой логике (НчЛ) чёткое отрицание идеально зеркально отражает (или, как говорят математики, отображает) элементы нечёткого множества. Но в жизни такое происходит не строго: зеркала бывают и кривыми. Поэтому введенное Лукасевичем чёткое отрицание логической значности, как вычитание из единицы, в НчЛ получило дальнейшее расширение, и стало называться нечётким отрицанием. Что это такое?
4076
18
