_ дизъюнкцией n переменных называется дизъюнкция переменных или их отрицаний.
(*ответ*) Элементарной
Постоянной
Непостоянной
Равнозначной
_ нормальной формой формулы А называется равносильная ей формула, представляющая собой конъюнкцию элементарных дизъюнкций.
(*ответ*) Конъюнктивной
Дизъюнктивной
Элементарной
Постоянной
_ имеет нормальную форму, если она содержит только операции конъюнкции, дизъюнкции и кванторные операции, а операция отрицания отнесена к элементарным формулам.
(*ответ*) Формула логики предикатов
Переменная высказывания
Предметная переменная
Предикатная переменная
Аксиоматическая логическая система, интерпретацией которой является алгебра высказываний – это _.
(*ответ*) исчисление высказываний
формулы алгебры логики
свойство совершенства
функция трех переменных
Аксиоматическое исчисление называется _, если добавление к списку его аксиом любой недоказуемой в исчислении формулы в качестве новой аксиомы приводит к противоречивому исчислению.
(*ответ*) полным в узком смысле
равнозначным
общим
полным в широком смысле
Базисное понятие нечетких систем – _.
(*ответ*) нечеткое множество
четкое множество
кратное множество
разность множеств
В 1936 г. американский математик _ доказал, что проблема разрешимости логики предикатов в общем виде алгоритмически не разрешима, то есть не существует алгоритма, который бы позволил установить, к какому классу формул относится любая формула логики предикатов.
(*ответ*) А.Черч
Лотфи Заде
Э. Мамдани
Беллман
В систему аксиом исчисления высказываний входят _ аксиом.
(*ответ*) 11
12
13
14
Всякая формула Ai H является формулой, выводимой из _.
(*ответ*) H
Ai
X
Y
Всякое сложное высказывание, которое может быть получено из элементарных высказываний посредством применения логических операций отрицания, конъюнкции, дизъюнкции, импликации и эквиваленции, называется _ алгебры логики.
(*ответ*) формулой
значением
равенством
смыслом
Если формулы A и A B доказуемы в исчислении высказываний, то формула B также доказуема – это правило _.
(*ответ*) заключения
доказуемости
подстановки
ввода
Значительный вклад в развитие теории и практики нечетких систем с эволюционной адаптацией внесла группа испанских исследователей во главе с _.
(*ответ*) Ф. Херрера
Д. Дюбуа
Г. Праде
Б. Коско