import type { PropFormula } from "../../../models";
/**
 * Applies the rule of Implication Reversal.
 *
 * Given a formula of the form ¬F => ¬G,
 * it derives the implication G => F.
 *
 * This rule allows contraposition in Hilbert-style calculus,
 * enabling the derivation of equivalent implications with reversed arguments.
 *
 * @param formulas - An array of propositional formulas, each with form ¬F => ¬G.
 * @returns An array of derived implications, each with form G => F.
 * @throws {Error} if implication reversal is not applicable.
 */
export declare function implicationReversalRule(formulas: PropFormula[]): PropFormula[];