import type { PropFormula } from "../../models";
/**
 * Checks if implication elimination (modus ponens) is applicable to two given formulas.
 *
 * This function verifies that:
 * - Exactly two formulas in the input array
 * - One of the formulas is an implication.
 * - The other formula is structurally equal to the antecedent of the implication.
 *
 * @param formulas - An array of propositional formulas to check.
 * @returns True if implication elimination can be applied, false otherwise.
 * @category Validators
 */
export declare function isImplicationEliminationApplicable(formulas: PropFormula[]): boolean;