Инверсия: логическая операция и её применение в рассуждениях