Обсуждение:Редукция (логика)