Лекция 6 часть 2 (незаконченная)
Требуемые условия завершения
Определения тождественно истинной формулы, истинной секвенции. Предложение о связи доказуемой с истинной секвенциями (оборвалась запись на планшете!)
Нажмите на ссылку Лекция 6 часть 2 (незаконченная), чтобы открыть ресурс.