x 1.00
Лекция 10. Преобразование формул к стандартному виду
- 44:45Формула с тесными отрицаниями.
- 48:02Лемма о равносильности любой формулы формуле с тесными отрицаниями.
- 01:04:25Предваренная нормальная форма.
- 01:07:40Теорема 10.2. О равносильности всякой формулы предваренной нормальной форме.
- 01:09:35Лемма 10.3 О предваренной нормальной форме равносильной логическим связкам.
- 01:26:35Построение вычисления. Исчисление предикатов.