Логическое следствие в логике предикатов
Пусть 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17.
Пусть 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. Исчисление предикатов
Пусть
Пренексная нормальная форма Пусть 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17. 18. 19. 20.
Машины Тьюринга
Построить машину Тьюринга 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17. 18. 19. 20.
|
– формулы логики предикатов, 
и. 
. Доказать следующие соотношения.
;
;
;
;
;
;
;
;
;
;
;
;
;
.
– формулы логики предикатов. Проверить следующие соотношения.
;
;
;
;
;
;
;
;
;
- формулы исчисления предикатов. Построить вывод формулы исчисления предикатов из данного множества гипотез. 
;
;
;
;
;
;
;
;
;
;
;
;
;
;
;
;
;
;
;
;
– атомарные формулы логики предикатов. Привести следующие формулы логики предикатов к пренексной нормальной форме.
, вычисляющую следующую функцию.
