00:00:19 Структура высказывания 00:06:10 Язык логики предикатов 00:12:32 Язык логики предикатов. Свободные и связанные переменные. 00:26:53 Равносильности с кванторами 00:40:30 Некоторые закономерности с кванторами 00:45:40 Задачи Ссылка на плейлист:
Hide player controls
Hide resume playing