математическая логика и теория алгоритмов

В-1

1. Приведите примеры предложений
а) являющихся высказываниями,
б) не являющихся высказываниями.
2. Установите истинно или ложно высказывание:
213 EMBED Equation.3 1415.
3. Определить логические значения высказываний при x =1, y =0, z =1
а) 13 EMBED Equation.3 1415,
б) 13 EMBED Equation.3 1415.
4. Установите тождественную истинность или ложность формулы
13 EMBED Equation.3 1415.
5. Составить РКС:
13 EMBED Equation.3 1415.
6. Найти СДНФ и СКНФ:
13 EMBED Equation.3 1415.
7. Написать все подформулы формулы А
13 EMBED Equation.3 1415
8. Применяя правило подстановки установить доказуемость формулы
а) 13 EMBED Equation.3 1415
б) 13 EMBED Equation.3 1415
9. Записать вывод формулы из
·совокупности формул
13 EMBED Equation.3 1415
10. Доказать производное правило
13 EMBED Equation.3 1415
11. Доказать, что 13 EMBED Equation.3 1415.
12. Записать на языке логики предикатов:
а) «Не найдутся числа, удовлетворяющие уравнению 13 EMBED Equation.3 1415»,
б) «Если х делится на у, у делится на z, то х делится на z».
13. Даны предикаты: 13 EMBED Equation.3 1415 и 13 EMBED Equation.3 1415. Найдите область истинности этих предикатов, если они определены на 1) R, 2) N.
14. Выяснить, когда предикат принимает значение истина:
13 EMBED Equation.3 1415.
15. Найти отрицание формулы
13 EMBED Equation.3 1415.
16. Показать, что формула является общезначимой
13 EMBED Equation.3 1415.
17. Привести к п.н.ф. формулу
13 EMBED Equation.3 1415.


Приложенные файлы

  • doc 8958335
    Размер файла: 50 kB Загрузок: 0

Добавить комментарий