Кафедра философии и истории ЛОГИКА Для программы среднее Явное определение в логике примеры