Инструмент для извлечения из баз данных закономерностей, которые формулируются в виде лингвистических высказываний, - это _.
(*ответ*) нечеткие ассоциативные правила
четкие ассоциативные правила
нечеткие вопросы
четкие вопросы
Исчисление высказываний называется _, если любая тожественно истинная формула в нем доказуема.
(*ответ*) полным в широком смысле
полным в узком смысле
равнозначным
общим
Логическое сложение – это
(*ответ*) дизъюнкция
импликация
эквиваленция
конъюнкция
Логическое умножение – это
(*ответ*) конъюнкция
дизъюнкция
импликация
эквиваленция
Множество M, на котором определен предикат P(x), называется _ определения предиката.
(*ответ*) областью
местом
временем
значением
Множество со специальным образом определенными на нем операциями сложения, умножения и отрицания – это _.
(*ответ*) булева алгебра
аксиома
закон идемпотентности
закон поглощения
Набор свойств функции алгебры логики, при котором она имеет максимально простой вид – это _.
(*ответ*) свойства совершенства
функция трех переменных
дизъюнкция
импликация
Образование доказуемой формулы из исходных доказуемых формул путем применения правил вывода, называется _ из аксиом.
(*ответ*) выводом формулы
формулой исчисления высказываний
формулой алгебры логики
доказательством формулы
Основным (неопределяемым) понятием математической логики является понятие _.
(*ответ*) «простого высказывания»
«сложного высказывания»
равенства
неравенства
Понятие нечеткой и лингвистической переменных используется при описании объектов и явлений с помощью _.
(*ответ*) нечетких множеств
четких множеств
кратных множеств
разности множеств
Понятия «Математическая теория нечетких множеств» и «Нечеткая логика» были впервые предложены американским ученым Лотфи Заде в _ г.
(*ответ*) 1965
1975
1985
1995
Последовательности символов алфавита исчисления высказываний представляют собой _.
(*ответ*) формулы исчисления высказываний
формулы алгебры логики
свойства совершенства
функцию трех переменных
Преобразования формул на основе законов равносильностей называются _.
(*ответ*) равносильными преобразованиями
дизъюнкцией
импликацией
эквиваленцией
Проблема _ заключается в выяснении вопроса: является данное исчисление непротиворечивым или нет?
(*ответ*) непротиворечивости
полноты
независимости
разрешимости исчисления высказываний