3. исчисление предикатов

00:00 - про два типа переменных и предикаты 04:05 - функциональные символы 06:40 - описание языка формальной теории 13:05 - связанные переменные 20:59 - правила подстановки 23:44 - правила вывода Бернайса и обобщения 28:05 - аксиоматика 30:30 - компоненты формальной теории 35:33 - аксиома Гильберта для равенства 36:35 - модель теории 39:25 - общезначимость формулы 40:22 - теорема о полноте исчисления предикатов 41:26 - полнота теории vs полнота исчисления 44:06 - независимые формулы 💰 Если Вам нравится мой контент, то Вы можете поддержать канал: через сервис Boosty: