Тесты СинергияАртём Хелп
Артём Help онлайнПолучить расчёт
Бесплатно оценим сроки и стоимостьОтправить задание в Telegram
Элементы математической логики

Элементы математической логики

Просмотрите все вопросы и варианты бесплатно. Правильные ответы скрыты и открываются только после получения доступа.

20 вопросов Вариант 1 Доступ 7 дней
Содержание теста

Вопросы и варианты

Без отметок и подсказок к правильным ответам

Вопрос 1

Если при любой подстановке вместо переменных из Mi предикат превращается в ложное высказывание, то он называется …

  1. тождественно-ложным
  2. тождественно-истинным
  3. выполнимым
  4. опровержимым
Вопрос 2

Если при любой подстановке вместо переменных xi из Mi предикат превращается в истинное высказывание, то он называется …

  1. тождественно-ложным
  2. тождественно-истинным
  3. выполнимым
  4. опровержимым
Вопрос 3

Предикат P(x1,x2,...,xn), заданный на множестве , называется выполнимым, если существует такой набор переменных, взятый из множеств Mi , что при подстановке их вместо xi получим …

  1. высказывание
  2. формулу
  3. истинное высказывание
  4. известное высказывание
Вопрос 4

Формула алгебры высказываний называется тождественно-ложной, если …

  1. она на любом наборе высказываний, подставляемых вместо пропозициональных переменных, представляет собой ложное высказывание
  2. существует такой набор высказываний, при подстановке которого в формулу получится ложное высказывание
  3. существует такой конкретный набор высказываний, при подстановке которого в формулу получается истинное высказывание
  4. при подстановке любых наборов конкретных высказываний в формулу получаем истинное высказывание
Вопрос 5

Формула алгебры высказываний называется опровержимой, если …

  1. она на любом наборе высказываний, подставляемых вместо пропозициональных переменных, представляет собой ложное высказывание
  2. существует такой набор высказываний, при подстановке которого в формулу получится ложное высказывание
  3. существует такой конкретный набор высказываний, при подстановке которого в формулу получается истинное высказывание
  4. при подстановке любых наборов конкретных высказываний в формулу получаем истинное высказывание
Вопрос 6

Формула алгебры высказываний называется выполнимой, если …

  1. она на любом наборе высказываний, подставляемых вместо пропозициональных переменных, представляет собой ложное высказывание
  2. существует такой набор высказываний, при подстановке которого в формулу получится ложное высказывание
  3. существует такой конкретный набор высказываний, при подстановке которого в формулу получается истинное высказывание
  4. при подстановке любых наборов конкретных высказываний в формулу получаем истинное высказывание
Вопрос 7

Формула … выражает один из законов поглощения

  1. (pΛ(qV p))
  2. ¬(pV q)↔¬pΛ¬q
  3. (p→(¬q→¬r))↔((pΛq)→¬r)
Вопрос 8

Формула … выражает один из законов де Моргана

  1. (pΛ(qV p))
  2. ¬(pV q)↔¬pΛ¬q
  3. (p→(¬q→¬r))↔((pΛq)→¬r)
Вопрос 9

Формула, выражающая правило «Дизъюнкция слабее каждого из слагаемых», имеет вид: …

  1. p→(qVp)
  2. (pΛ(qV p))
  3. ¬(pV q)↔¬pΛ¬q
  4. (p→(¬q→¬r))↔((pΛq)→¬r)
Вопрос 10

Формула, выражающая правило «Конъюнкция сильнее каждого из сомножителей», имеет вид: …

  1. (p→(¬q→¬r))↔((pΛq)→¬r)
  2. ¬(pV q)↔¬pΛ¬q
  3. (pΛ(qV p))
  4. (pΛq)→p
Вопрос 11

15. Формула, выражающая правило объединения и разделения посылок, имеет вид: …

  1. ¬p→(p→q)
  2. (p→q)→(q→¬p)
  3. (p→(q→r))↔((pΛq)→r)
Вопрос 12

Формула, выражающая правило цепного заключения, имеет вид: …

  1. (¬p→¬q)Λ(q→r)→(p→r)
  2. (¬pΛ¬p)
  3. (p→q)Λ(q→r)→(p→r)
Вопрос 13

Под высказыванием понимается утвердительное предложение, которое может быть …

  1. либо истинным, либо ложным, либо истинным и ложным одновременно
  2. либо истинным, либо ложным, но не то и другое одновременно
  3. только истинным
  4. только ложным
Вопрос 14

Переменные, вместо которых можно подставлять высказывания, называют … переменными

  1. предметными
  2. пропозициональными
  3. логическими
  4. предикатными
Вопрос 15

В столбце … таблицы находятся значения функции ↔

  1. 1
  2. 2
  3. 3
  4. 4
Вопрос 16

В столбце … таблицы находятся значения дизъюнкции

  1. 1
  2. 2
  3. 3
  4. 4
Вопрос 17

В столбце … таблицы находятся значения функции конъюнкции

  1. 1
  2. 2
  3. 3
  4. 4
Вопрос 18

В столбце … таблицы находятся значения импликации

  1. 1
  2. 2
  3. 3
  4. 4
Вопрос 19

Булевская переменная – это переменная, которая принимает …

  1. любое целочисленное значение
  2. только одно из следующих значений: 0 или 1
  3. любые вещественные значения
Вопрос 20

Булевская функция – это такая функция одного или нескольких булевских переменных, которая принимает

  1. любое целочисленное значение
  2. только значение 0 или только значение 1
  3. любые вещественные значения