Онлайн тесты на тему "Готовый тест с ответами "Элементы математической логики" | МФПУ "Синергия" "

В приобретаемом файле содержатся ответы на задания теста, который был успешно сдан в 2023 году. 20 вопросов. Ответы выделены цветным маркером в тексте. Чтобы файл корректно читался, его следует смотреть на стандартном ПК.

Описание работы

1. В столбце таблицы находятся значения дизъюнкции
2. Переменные, вместо которых можно подставлять высказывания, называют… переменными
Предметными
Пропозициональными
Логическими
Предикатными
3. Формула алгебры высказываний называется опровержимой, если…
Она на любом наборе высказываний, подставляемых вместо пропозициональных переменных, представляет собой ложное высказывание
Существует такой набор высказываний, при подстановке которого в формулу получится ложное высказывание
Существует такой конкретный набор высказываний, при подстановке которого в формулу получится истинное высказывание
При подстановке любых наборов конкретных высказываний в формулу получаем истинное высказывание
4. Формула, выражающая правило цепного заключения, имеет вид…
5. Формула, выражающая правило «Конъюкция сильнее каждого из сомножителей», имеет вид…
6. В столбце … таблицы находятся значения функции
7. Формула, выражающая правило объединения и разделения посылок, имеет вид…
8. Формула… выражает один из законов де Моргана
9. Если при любой подстановке вместо переменных из Мj предикат превращается в ложное высказывание, то он называется…
10. В столбце… таблицы находятся значения импликации
11. Формула … выражает один из законов поглощения
12. Предикат Р (x1, x2 ….xn), заданный на множестве М=М1хМ2х…..Мn, называется выполнимым, если существует такой набор переменных, взятый из множеств Мj, что при подстановке их вместо xj, получим…
13. Формула алгебры высказываний называется тождественно ложной, если…
14. Правило Modus tollens имеет вид
15. Булевская функция – это такая функция одного или нескольких булевских переменных, которая принимает…
16. Формула, выражающая правило «Дизъюнкция слабее каждого из слагаемых», имеет вид…
17. Правило Modus Ponenс имеет вид
18. Формула алгебры высказываний называется выполнимой, если…
19. Если при любой подстановке вместо переменных xj из Mj предикат превращается в истинное высказывание, то он называется…
20. Булевская переменная – это переменная, которая принимает…