Логика и исчисление предикатов
1. Недостаточность логики высказываний.
Понятие предиката.
2. Логические операции над предикатами.
3. Кванторные операции.
4. Понятие формулы логики предикатов.
5. Значение формулы логики предикатов.
6. Равносильные формулы логики предикатов.
7. Нормальные формы формул логики предикатов.
8. Общезначимость и выполнимость формул. Проблема
разрешимости.
9. Применение языка логики предикатов для записи
математических предложений, определений, построения отрицания предложений.
|
