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