Исчисление высказываний и исчисление предикатов

Задачи

2.8. Привести к ПНФ:

а) ;

б) ;

в) ;

г) ;

д) ;

е) ;

ж) ;

з)

.

Контрольные вопросы

1. Дайте общее определение предиката. Что такое «местность» предиката? тождественно-истинный предикат? тождественно-ложный предикат?

2. Как определяются логические операции над предикатами?

3. Чем отличается формула логики высказываний от формулы логики предикатов?

4. Что такое интерпретация формулы логики предикатов? Параметр формулы? Замкнутая формула?

5. Что называют коллизией переменных?

6. Какие формулы логики предикатов называют равносильными? Конгруэнтными? Тождественно-истинными? Тождественно-ложными?

7. Дайте определение кванторов существования и всеобщности в случае одноместного и многоместного предиката.

8. Попробуйте доказать свойства кванторов.

9. Какие понятия формального языка выполняют роли, аналогичные тем, которые в естественном языке выполнятся: подлежащим? Сказуемым? Дополнениями? Местоимением? Союзами?

10. Что такое терм? Функциональная сложность терма?

11. Что такое формула? Логическая сложность формулы?

12. Что такое предваренная нормальная форма?

Дата добавления: 2014-01-06