Формальная логика — школьный курс