Логическая операция, составляющая суть мысленного эксперимента при проверке поступка на его соответствие моральному закону в этике Канта, называется …