Математическая логика и теория алгоритмов

Однажды Насреддина спросили: -Ходжа, гдеистина? -Я невижу места, гдебыонаотсутство­ вала, такчто немогу казать точно место, гдеонанаходится. Ходжа Насреддин* § 4. Нечеткие высказывания и максиминные операции над ними Нечеткш1высказыванием называется предложение, относи­ тельно которого можно судить о степени его истинности или ложности. Степеньистинности или степеньложности каждого не­ четкого высказывания принимает значение из замкнутого интервала [0,1], причем О и ] являются их предельными значениями и совпадают с понятиями лжи и истины для "четких" высказываний. Степень истинности (степень ложности) каждого нечеткого высказы­ вания может принимать как только некоторые значения из [0,1], так и все значения из [ОД]. Примеры нечетких высказываний; "Два - маленькое число". "Петров занимается большой общественной работой". "Волга - хорошая машина". "Молодая была уже не молода". Нечеткие высказывания бывают простыми и составными. Составные высказывания образуются из простых с помощью вводи­ мых операций, таких как отрицание, конъюнкция, дизъюнкция, им­ пликация и других. Операции могут вводиться различными способа­ ми. Рассмотрим следующий вариант введения операций, Отрицанием нечеткого высказывания А* называется нечеткое высказывание, обозначаемое 1^*, степень истинности которого определяется вырансением.* * Отметим, что приведенное имя Насреддина не единственно. Его называют в различных краях то Ходжой или Моллой, или Хасаном и даже Джохой Насреддииом. 201