Запись _ служит для обозначения логической связки эквивалентности
(*ответ*) А ~ В
А ( В
А )( В
В (( А
Запись _ служит для обозначения логической связки импликации
(*ответ*) А®В
А ( В
А (( В
В ) А
Запись _ служит для обозначения логической связки конъюнкции высказываний А и В
(*ответ*) А Ù В
А Ú В
А È В
В Ç А
Запись _ служит для обозначения объединения множеств А и В
(*ответ*) АÈВ
A Ç В
А Ú В
А Ù В
Запись _ служит для обозначения пересечения множеств А и В
(*ответ*) A Ç В
АÈВ
А \ В
А + В
Запись _ служит для обозначения разности между множествами А и В
(*ответ*) А \ В
АÈВ
A Ç В
А – В
Знак, который характеризуется правилами его употребления, – это
(*ответ*) переменная
постоянная
предикат
константа
Идею использования рекурсии для решения задач, связанных с основаниями математики, предложил
(*ответ*) Гильберт
Истинная при всех интерпретациях формула называется
(*ответ*) общезначимой
неразрешимой
разрешимой
выводимой
К семантическим парадоксам относятся парадаксы
(*ответ*) лжеца
(*ответ*) Берри
Рассела
Лейбница
К символам, входящим в алфавит формального логического языка, относятся символы
(*ответ*) "
(*ответ*) $
(*ответ*) Ú
¹
Î
К термам лингвистической переменной предъявляется лишь требование
(*ответ*) упорядоченности
не отрицательности
не противоречивости
истинности
К элементам, входящим в состав конечного автомата, относятся:
(*ответ*) читающая головка
(*ответ*) лента, разбитая на ячейки
угадывающий модуль
датчик случайных чисел