chop-logic-core/lib/propositional/hilbert-calculus/rules/implication-elimination.d.ts

Core classes, methods and functions for calculating logical formulas and constructing proofs within the Chop Logic project.

import type { PropFormula } from "../../../models";
/**
 * Applies the rule of Implication Elimination (Modus Ponens).
 *
 * Given an implication (A => B) and its antecedent A,
 * it derives the consequent B.
 *
 * @param formulas - An array of propositional formulas.
 * @returns The consequent of the implication if the rule is applicable.
 * @throws {Error} if implication elimination is not applicable.
 */
export declare function implicationEliminationRule(formulas: PropFormula[]): PropFormula[];