chop-logic-core/lib/propositional/hilbert-calculus/axioms/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";
/**
 * Constructs a formula based on the Implication Distribution axiom schema:
 * ((A => (B => C)) => ((A => B) => (A => C)))
 *
 * @param formulas - An array of propositional formulas.
 * @returns A new propositional formula representing the axiom schema.
 */
export declare function implicationDistributionSchema(formulas: PropFormula[]): PropFormula;