Вопросы для самопроверки
1. Какое множество связано с каждой предметной переменной?
2. Укажите переменные и их области допустимых значений в предложениях:
a) «Число больше своей целой части».
б) «Река впадает в море».
в) «Точка лежит на стороне квадрата».
г) «Два треугольника подобны».
д) «Человек идёт по свету».
3. Как записывается предложение с переменными x, y, z и со свойством Р ?
4. Какие истинностные значения принимает предикат на наборах (1;3) и (4;2) значений предметных переменных?
5. Найдите область истинности предиката наR?
6. Если , то каковы значения высказываний
7. Каким свойством обладает таблица истинности предиката с натуральными переменными, еслипринимает истинное значение при каждом натуральномy?
8. Каковы истинностные значения высказываний, еcли вcе участвующие в их записи переменные являются натуральными ?
9. Можно ли в формуле записать кванторы в обратном порядке:?
10. Верно ли что при действительном х имеет место
11.Справедливо ли при действительном х :
12. Верна ли при натуральном х равносильность
13. Будут ли формулами алгебры предикатов записи:
14. Как выглядит отрицание – согласно законам отрицания кванторов?
15. Верно ли:
16. Почему справедливо
17. Как записать утверждение, обратное
18. Запишите без ограниченных кванторов:
19. Запишите с ограниченными кванторами: .
20. Почему формула является тождественно истинной?
- Глава I. Элементы теории множеств
- Вопросы для самопроверки
- Разберите решения следующих примеров
- Задачи для самостоятельного решения
- Глава II. Алгебра высказываний
- Вопросы для самопроверки
- Разберите решение следующих примеров
- Приложения алгебры высказываний
- Задачи для самостоятельного решения
- Глава III. Алгебра предикатов
- Вопросы для самопроверки
- Разберите решения следующих примеров
- Задачи для самостоятельного решения
- Глава IV. Бинарные отношения
- Вопросы для самопроверки
- Разберите решения следующих примеров
- Задачи для самостоятельного решения
- Глава V. Элементы комбинаторики
- Вопросы для самопроверки
- Задачи для самостоятельного решения