Элементы математической логики (тест с ответами Синергия/МОИ/ МТИ /МОСАП)

22 вопроса с ответами

Последний раз тест был сдан на 90 баллов из 100 "Отлично"

Год сдачи -2020-2023.

***ВАЖНО*** Перед покупкой запустите тест и сверьте подходят ли эти ответы именно Вам***

После покупки Вы получите файл с ответами на вопросы которые указаны ниже:

Если нужна помощь с другими предметами или сдачей тестов онлайн, пишите в личные сообщения https://studwork.ru/info/147162

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

*p→(qVp)

* (pΛ(qV p))<-- p

*¬(pV q)↔¬pΛ¬q

*(p→(¬q→¬r))↔((pΛq)→¬r)

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

* (p→(¬q→¬r))↔((pΛq)→¬r)

*¬(pV q)↔¬pΛ¬q

* (pΛ(qV p))<-- p

* (pΛq)→p

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

*существует такой набор высказываний, при подстановке которого в формулу получится ложное высказывание

*при подстановке любых наборов конкретных высказываний в формулу получаем истинное высказывание

*существует такой конкретный набор высказываний, при подстановке которого в формулу получается истинное высказывание

*она на любом наборе высказываний, подставляемых вместо пропозициональных переменных, представляет собой ложное высказывание

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

*она на любом наборе высказываний, подставляемых вместо пропозициональных переменных, представляет собой ложное высказывание

* существует такой набор высказываний, при подстановке которого в формулу получится ложное высказывание

*существует такой конкретный набор высказываний, при подстановке которого в формулу получается истинное высказывание

*при подстановке любых наборов конкретных высказываний в формулу получаем истинное высказывание

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

*1

*2

*3

*4

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

*высказывание

*формулу

*истинное высказывание

*известное высказывание

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

*1

*2

*3

*4

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

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

* (pΛ(qV p))<-- p

* ¬(pV q)↔¬pΛ¬q

* (p→(¬q→¬r))↔((pΛq)→¬r)

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

* (¬p→¬q)Λ(q→r)→(p→r)

* (¬pΛ¬p)

* (p→q)Λ(q→r)→(p→r)

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

*тождественно-ложным

*тождественно-истинным

*выполнимым

*опровержимым

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

* (pΛ(qV p))<-- p

*¬(pV q)↔¬pΛ¬q

* (p→(¬q→¬r))↔((pΛq)→¬r)

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

*любое целочисленное значение

*только одно из следующих значений: 0 или 1

*любые вещественные значения

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

*предметными

*пропозициональными

*логическими

*предикатными

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

*¬p→(p→q)

* (p→q)→(q→¬p)

* (p→(q→r))↔((pΛq)→r)

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

*тождественно-ложным

*тождественно-истинным

*выполнимым

*опровержимым

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

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

*либо истинным, либо ложным, либо истинным и ложным одновременно

*либо истинным, либо ложным, но не то и другое одновременно

*только истинным

*только ложным

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

*любое целочисленное значение

*только значение 0 или только значение 1

*любые вещественные значения

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

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

*она на любом наборе высказываний, подставляемых вместо пропозициональных переменных, представляет собой ложное высказывание

*существует такой конкретный набор высказываний, при подстановке которого в формулу получается истинное высказывание

*существует такой набор высказываний, при подстановке которого в формулу получится ложное высказывание

*при подстановке любых наборов конкретных высказываний в формулу получаем истинное высказывание

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