Формула А логики предикатов называется _ в области М, если существуют значения переменных, входящих в эту формулу и отнесенных

Question

Слова «тогда и только тогда, когда» употребляется, чтобы из двух предложений получить
 (*ответ*) эквивалентность
 импликацию
 конъюнкцию
 дизъюнкцию
Современную математическую логику определяют как раздел математики, посвященный
 (*ответ*) изучению математических доказательств и вопросов оснований математики
 математическому анализу
 искусству математических споров
 исследованию логических парадоксов
Солнце светит и на дворе холодно» представляет собой
 (*ответ*) конъюнкцию высказываний
 дизъюнкцию высказываний
 импликацию высказываний
 эквивалентность высказываний
Теория, в которой для любого высказывания S этой теории оно само или его отрицание есть теорема, называется
 (*ответ*) полной
 непротиворечивой
 противоречивой
 не полной
Тип исчисления предикатов, который допускает применение кванторов только к предметным переменным, называют узким исчислением предикатов или исчислением предикатов
 (*ответ*) первого порядка
 второго порядка
 нулевого порядка
 третьего порядка
Укажите соответствие между названием операции и ее обозначением
  объединение множеств А и В < АÈВ
  пересечение множеств А и В < АÇВ
  разность множеств А и В < А\B
  декартово произведение множеств А и В < А´В
Укажите соответствие между обозначением логической операции и ее словесным выражением
   < Р тогда и только тогда, когда Q
  ® < если Р, то Q
  Ù < Р и Q
  Ú < Р или Q
Укажите соответствие между равносильностями, выражающими основные законы алгебры логики и их формулировкой
  дистрибутивность конъюнкции относительно дизъюнкции < . xÙ (уz)  (хÙу)  (xÙz)
  дистрибутивность дизъюнкции относительно конъюнкции < x (уÙz)  (ху) Ù (xz)
  ассоциативность конъюнкции < xÙ (уÙz)  (xÙу) Ùz
Укажите соответствие между типом множества и его характеристикой
  Числовое множество < множества, элементами которого являются числа
  Конечное множество < множество, элементы которого можно сосчитать
  Пустое множество < множество, не содержащее ни одного элемента
Формула (xÙy)z представляет собой
 (*ответ*) дизъюнкцию конъюнкции х, у и выказывания z
 конъюнкцию дизъюнкции х, у и выказывания z
 дизъюнкцию дизъюнкции х, у и выказывания z
 конъюнкцию выказывания z и дизъюнкции х, у
Формула  
 (*ответ*) тождественно ложна
 тождественно истинна
 истинна при некоторых значениях х
 ложна при некоторых значениях х
Формула x(yx)
 (*ответ*) тождественно истинна
 тождественно ложна
 истинна при некоторых значениях х
 ложна при некоторых значениях х
Формула А логики предикатов называется _ в области М, если существуют значения переменных, входящих в эту формулу и отнесенных к области М, при которых формула А принимает _
 (*ответ*) выполнимой
 (*ответ*) истинные значения
 реализуемой
 значения из области М

Answer 1

Правильные вопросы выделены по тесту
тест уже прошел свою проверку