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

1. Назовите методы логического вывода.

2. Опишите суть традиционной логики, ее достоинства и недостатки.

3. Сформулируйте суть алгебры логики и ее характеристики.

4. Что такое алгебра, исчисление, предикат, предикат первого порядка?

5. Что такое предпосылка, цель, предложение? Какие существуют синонимы этих понятий?

6. Что такое «интерпретация»?

7. Что значит общезначимость, противоречивость формулы? Дайте понятие фразы Хорна. Почему для доказательства выводимости чаще используют противоречивость формулы.

8. Что такое сколемизация и зачем она нужна?

9. Приведите этапы процедуры перехода от исходной предикатной формы к стандартной предикатной форме.