1 Основы математической логики ИНФОРМАТИКА Лекция № 6