Математическая логика
Список вопросов теста
Вопрос 1
Выберите отрицание высказывания " Все реки впадают в Каспийское море"
Варианты ответов
- Все реки не впадают в Каспийское море
- Неверно, что все реки впадают в Каспийское море
- Не все реки впадают в Каспийское море
- Некоторые реки не впадают в Каспийское море
- Некоторые реки впадают в Каспийское море
Вопрос 2
Конъюнкция высказываний " Все люди смертны" и "при любом действительном х х+3=5"...
Варианты ответов
- ложна
- истинна
- тождественно ложна
Вопрос 3
Определение формулы алгебры высказываний является...
Варианты ответов
- индуктивным определением
- конструктивным определением
- описательным определением
Вопрос 4
Является ли выражение \(\left(Х\vee\negУ\right)\) формулой алгебры высказываний, если строго следовать определению?
Варианты ответов
- нет
- да
Вопрос 5
Справедливо ли логическое следование
\(P\rightarrow Q,\ Q\rightarrow\neg P\Rightarrow\neg P\) ?
Варианты ответов
- да
- нет
Вопрос 6
Справедливо ли логическое следование
\(\neg Q\rightarrow\neg P,\ P\Rightarrow Q\) ?
Варианты ответов
- да
- нет
Вопрос 7
Сколько существует неравносильных между собой формул от трёх переменных, являющихся логическими следствиями формулы
\(P\vee Q\vee R\)
Варианты ответов
- 2
- 8
- 6
- 4
Вопрос 8
СКНФ формулы
\(\neg\left(\left(\left(\left(X\vee Y\right)\rightarrow\neg\left(X\vee Y\right)\right)\wedge\neg Z\right)\right)\)
имеет вид...
Варианты ответов
-
\(X\vee Y\vee Z\)
-
\(\left(X\vee\neg Y\vee Z\right)\wedge\left(X\vee Y\vee Z\right)\)
-
\(X\wedge Y\wedge Z\)
Вопрос 9
Найдите наипростейшую формулу, последний столбец таблицы истинности которой имеет вид
11000010
Варианты ответов
-
\(\left(\neg X\wedge\neg Y\right)\vee\left(X\wedge Y\wedge\neg Z\right)\)
-
\(\left(X\wedge\neg Y\right)\vee\left(\neg X\wedge Y\wedge Z\right)\)
-
\(\left(X\wedge Y\right)\vee\left(\neg X\wedge\neg Y\wedge Z\right)\)
Вопрос 10
Найдите логическое значение высказывания" для всякого действительного х \(х<1\ или\ х=1\ или\ х>1\)"
Варианты ответов
- 1
- 0
- это не высказывание
Вопрос 11
Если обратное утверждение является теоремой,то...
Варианты ответов
- противоположное утверждение - теорема
- противоположное обратному утверждение - теорема
- прямое утверждение - теорема.
Вопрос 12
Классы L, M, S являются...
Варианты ответов
- собственными классами булевых функций
- несобственными классами булевых функций
- замкнутыми классами булевых функций
- открытыми классами булевых функций.
Вопрос 13
Является ли полной система булевых функций, состоящая из импликации и отрицания?
Варианты ответов
- да
- нет
Вопрос 14
Устройства, обеспечивающие взаимопонимание человека и машины, называются...
Варианты ответов
- шифраторами
- дешифраторами
- переходниками
Вопрос 15
В шифраторах используются булевы функции?
Варианты ответов
- да
- нет
- иногда
Вопрос 16
Является ли последовательность формул выводом из гипотез?
\(\left(1\right)\ \ F\rightarrow\left(G\rightarrow F\right)\)
\(\left(2\right)\ \left(F\rightarrow\left(G\rightarrow F\right)\right)\rightarrow\left(\left(F\rightarrow G\right)\rightarrow\left(F\rightarrow F\right)\right)\)
\\(\left(3\right)\ \left(F\rightarrow G\right)\rightarrow\left(F\rightarrow F\right)\)
\(\left(4\right)\ F\rightarrow G\)
\(\left(5\right)\ F\rightarrow H\)
Варианты ответов
- да, это вывод из одной гипотезы.
- да, это вывод из двух гипотез
- нет, это доказательство теоремы
Вопрос 17
Область истинности конъюнкции двух предикатов - это ...
Варианты ответов
- пересечение областей истинности исходных предикатов
- объединение областей истинности исходных предикатов
- дополнение областей истинности исходных предикатов до универсального множества
Вопрос 18
Функция
\(x^,y^,\vee x^,z^,\vee y^,z^,\)
является
Варианты ответов
- самодвойственной
- сохраняющей ноль
- линейной
Вопрос 19
Формула
\(\left(\left(P\vee\neg Q\right)\rightarrow Q\right)\wedge\left(\neg P\vee Q\right)\)
является
Варианты ответов
- тавтологией
- противоречием
- выполнимой формулой
- опровержимой формулой
Вопрос 20
Верно ли, что для любого действительного х существует p такое, что для любого q
\(x^2+px+q\ge0\) ?
Варианты ответов
- нет, неверно
- да, верно
- это утверждение не является высказыванием, поэтому его истинность установить невозможно