| engineerklub | Дата: Среда, 05.03.2025, 18:04 | Сообщение # 1 |
 Генералиссимус
Группа: Администраторы
Сообщений: 34134
Статус: Online
| Элементы математической логики (тест с ответами Синергия/МОИ/ МТИ /МОСАП)
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 предикат превращается в ложное высказывание, то он называется …
*тождественно-ложным
*тождественно-истинным
*выполнимым
*опровержимым
СКАЧАТЬ
|
| |
| |
