chop-logic-core/lib/propositional/hilbert-calculus/rules/implication-distribution.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 Distribution.
 *
 * Given a formula of the form F => (G => H),
 * it derives the implication (F => G) => (F => H).
 *
 * This rule applies to each formula in the input array that satisfies the schema.
 *
 * @param formulas - An array of propositional formulas, each with form F => (G => H).
 * @returns An array of derived implications, each with form (F => G) => (F => H).
 * @throws {Error} if implication distribution is not applicable.
 */
export declare function implicationDistributionRule(formulas: PropFormula[]): PropFormula[];