Матлог 10. Общезначимые формулы

02:40 - общезначимая формула; 29:13 - предварённая нормальная форма; 32:07 - теорема об эквивалентности формул; 48:26 - выражение предиката формулой; Лектор: Мусатов Даниил Владимирович Съемка: Алена Быкова Монтаж: Алексей Попов