Решить тест-
Элементы математической логики

Элементы математической логики.дпо

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