_ дизъюнкцией n переменных называется дизъюнкция переменных либо их отрицаний.
nbsp;(*ответ*)

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