Содержание
1. Язык исчисления высказываний 2
2. Семантика исчисления высказываний 2
3. Выполнимые и общезначимые формулы 4
4. Логическое следование 5
5. Нормальные формы в исчислении высказываний 5
6. Принцип двойственности для исчисления высказываний. 7
7. Метод резолюций в исчислении высказываний 7
8. Теорема компактности в исчислении высказываний 8
9. Язык исчисления предикатов. 8
10. Семантика исчисления предикатов. 9
11. Нормальные формы в исчислении предикатов 10
12. Принцип двойственности в исчислении предикатов. 11
13. Метод резолюций в исчислении предикатов. 11
14. Аксиоматические системы, их свойства. 12
15. Аксиоматическая система исчисления высказываний 13
16. Полнота исчисления высказываний 13
17. Непротиворечивость исчисления высказываний. 14
18. Натуральный вывод в исчислении высказываний. 14
19. Аксиоматическая система исчисления предикатов. 15
20. Натуральный вывод в исчислении предикатов. 16
21. Теорема Эрбрана 17
22. Теории первого порядка, их свойства. 17
23. Существование модели для непротиворечивой теории 18
24. Полнота исчисления предикатов. 18
25. Непротиворечивость исчисления предикатов. 19
26. Программа Гильберта. Понятие о теоремах Геделя. 19
Выдержка из текста
1. Язык исчисления высказываний 2
2. Семантика исчисления высказываний 2
3. Выполнимые и общезначимые формулы 4
4. Логическое следование 5
5. Нормальные формы в исчислении высказываний 5
6. Принцип двойственности для исчисления высказываний. 7
7. Метод резолюций в исчислении высказываний 7
8. Теорема компактности в исчислении высказываний 8
9. Язык исчисления предикатов. 8
10. Семантика исчисления предикатов. 9
11. Нормальные формы в исчислении предикатов 10
12. Принцип двойственности в исчислении предикатов. 11
13. Метод резолюций в исчислении предикатов. 11
14. Аксиоматические системы, их свойства. 12
15. Аксиоматическая система исчисления высказываний 13
16. Полнота исчисления высказываний 13
17. Непротиворечивость исчисления высказываний. 14
18. Натуральный вывод в исчислении высказываний. 14
19. Аксиоматическая система исчисления предикатов. 15
20. Натуральный вывод в исчислении предикатов. 16
21. Теорема Эрбрана 17
22. Теории первого порядка, их свойства. 17
23. Существование модели для непротиворечивой теории 18
24. Полнота исчисления предикатов. 18
25. Непротиворечивость исчисления предикатов. 19
26. Программа Гильберта. Понятие о теоремах Геделя. 19
Список использованной литературы
1. Язык исчисления высказываний 2
2. Семантика исчисления высказываний 2
3. Выполнимые и общезначимые формулы 4
4. Логическое следование 5
5. Нормальные формы в исчислении высказываний 5
6. Принцип двойственности для исчисления высказываний. 7
7. Метод резолюций в исчислении высказываний 7
8. Теорема компактности в исчислении высказываний 8
9. Язык исчисления предикатов. 8
10. Семантика исчисления предикатов. 9
11. Нормальные формы в исчислении предикатов 10
12. Принцип двойственности в исчислении предикатов. 11
13. Метод резолюций в исчислении предикатов. 11
14. Аксиоматические системы, их свойства. 12
15. Аксиоматическая система исчисления высказываний 13
16. Полнота исчисления высказываний 13
17. Непротиворечивость исчисления высказываний. 14
18. Натуральный вывод в исчислении высказываний. 14
19. Аксиоматическая система исчисления предикатов. 15
20. Натуральный вывод в исчислении предикатов. 16
21. Теорема Эрбрана 17
22. Теории первого порядка, их свойства. 17
23. Существование модели для непротиворечивой теории 18
24. Полнота исчисления предикатов. 18
25. Непротиворечивость исчисления предикатов. 19
26. Программа Гильберта. Понятие о теоремах Геделя. 19