1. Что "похоронило" логическое программирование? 1 балл

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

3. Какая из формул представлена в Сколемовской нормальной форме? 1 балл

4. К каким из указанных предикатов применимо унифицированное правило резолюций? 1 балл

5. Задана модель с предикатом умножения: P(x,y,z)\leftrightarrow xy=z. Какое из указанных свойств является свойством замкнутости умножения? 1 балл

6. Для чего используется прувер? 1 балл

7. Что используется при автоматическом доказательстве теорем? 1 балл

8. Почему выражение \forall y \exists x P(x,y) не всегда верно, если рассматривать предикат P(x,y) как "x является родитель y"? 1 балл

9. Что такое комбинаторный взрыв? 1 балл

10. Какие формулы являются тождественно истинными? 1 балл