Элементы математической логики (тест с ответами Синергия/МОИ/ МТИ /МОСАП) Оценка 90/100 баллов отлично!
Булевская переменная - это переменная, которая принимает...
любое целочисленное значение
только одно из следующих значений: 0 или 1
любые вещественные значения


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

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

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

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

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

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

Формула алгебры высказываний называется опровержимой, если …
существует такой набор высказываний, при подстановке которого в формулу получится ложное высказывание
при подстановке любых наборов конкретных высказываний в формулу получаем истинное высказывание
существует такой конкретный набор высказываний, при подстановке которого в формулу получается истинное высказывание
она на любом наборе высказываний, подставляемых вместо пропозициональных переменных, представляет собой ложное высказывание

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

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

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

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

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

Правило Modus Рonenc имеет вид …

Формула алгебры высказываний называется тождественно-ложной, если …
она на любом наборе высказываний, подставляемых вместо пропозициональных переменных, представляет собой ложное высказывание
существует такой конкретный набор высказываний, при подстановке которого в формулу получается истинное высказывание
существует такой набор высказываний, при подстановке которого в формулу получится ложное высказывание
при подстановке любых наборов конкретных высказываний в формулу получаем истинное высказывание

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

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

Правило Modus tollens имеет вид …

Формула алгебры высказываний называется выполнимой, если …
существует такой набор высказываний, при подстановке которого в формулу получится ложное высказывание
существует такой конкретный набор высказываний, при подстановке которого в формулу получается истинное высказывание
при подстановке любых наборов конкретных высказываний в формулу получаем истинное высказывание
она на любом наборе высказываний, подставляемых вместо пропозициональных переменных, представляет собой ложное высказывание

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

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