Запись _ служит для обозначения логической связки эквивалентности
(*ответ*) А

Запись _ служит для обозначения логической вязки эквивалентности
(*ответ*) А В
nbsp;А ( В
nbsp;А )( В
nbsp;В (( А
Запись _ служит для обозначения логической вязки импликации
(*ответ*) АВ
nbsp;А ( В
nbsp;А (( В
nbsp;В ) А
Запись _ служит для обозначения логической вязки конъюнкции высказываний А и В
(*ответ*) А В
nbsp;А В
nbsp;А В
nbsp;В А
Запись _ служит для обозначения соединенья множеств А и В
(*ответ*) АВ
nbsp;A В
nbsp;А В
nbsp;А В
Запись _ служит для обозначения скрещения множеств А и В
(*ответ*) A В
nbsp;АВ
nbsp;А \ В
nbsp;А + В
Запись _ служит для обозначения разности между обилиями А и В
(*ответ*) А \ В
nbsp;АВ
nbsp;A В
nbsp;А В
Символ, который характеризуется правилами его потребления, это
(*ответ*) переменная
nbsp;неизменная
nbsp;предикат
nbsp;константа
Идею использования рекурсии для решения задач, связанных с основаниями математики, предложил
(*ответ*) Гильберт
Подлинная при всех интерпретациях формула называется
(*ответ*) общезначимой
nbsp;неразрешимой
nbsp;разрешимой
nbsp;выводимой
К семантическим парадоксам относятся парадаксы
(*ответ*) обманщика
(*ответ*) Берри
nbsp;Рассела
nbsp;Лейбница
К символам, входящим в алфавит формального логического языка, относятся знаки
(*ответ*) quot;
(*ответ*)
(*ответ*)
nbsp;
nbsp;
К термам лингвистической переменной предъявляется лишь требование
(*ответ*) упорядоченности
nbsp;не отрицательности
nbsp;не противоречивости
nbsp;истинности
К элементам, входящим в состав окончательного автомата, относятся:
(*ответ*) читающая головка
(*ответ*) лента, разбитая на ячейки
nbsp;разгадывающий модуль
nbsp;датчик случайных чисел