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

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. В столбце … таблицы находятся значения дизъюнкции