Теорема об единственности прочтения

1.       Формулы логики высказываний. Принцип индукции для них

2.       Теорема об единственности прочтения

3.       Интерпретации логики высказываний. Истинность и ложность формул

4.       Деревья истинности. Теоремы о корректности и полноте

5.       Натуральная дедукция. Теорема о корректности

6.       Натуральная дедукция. Теорема о полноте

7.       Понятие о мощности множеств. Теорема Кантора

8.       Теорема Шредера-Бернштейна

9.       Лемма Цорна. Общая формулировка и доказательство для счетных множеств

10.   Сигнатуры, термы и формулы логики предикатов

11.   Модели логики предикатов. Истинность и ложность формул

12.   Деревья истинности для логики предикатов. Теорема о корректности

13.   Деревья истинности для логики предикатов. Теорема о полноте

14.   Следствия из теоремы о полноте: теорема о компактности и теорема Левенгейма-Сколема

Ссылка на основную публикацию
Adblock detector