Элементы математической логики - презентация онлайн Второй пример я приведу