Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Преобразование формул

0:00:09 1. Продолжение доказательства лемм 9.7 и 9.8 из прошлой лекции 0:44:45 2. Формула с тесными отрицаниями 0:48:02 3. Лемма о равносильности любой формулы формуле с тесными отрицаниями 1:04:25 4. Предваренная нормальная форма 1:07:40 5. Теорема 10.2. О равносильности всякой формулы предваренной нормальной форме 1:09:35 6. Лемма 10.3 О предваренной нормальной форме равносильной логическим связкам 1:26:35 7. Построение вычисления. Исчисление предикатов