Variable IDReadonly

Type Declaration

• • (formulas: PropFormula[]): PropFormula[]

  • 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.

    Parameters

    • formulas: PropFormula[]

      An array of propositional formulas, each with form F => (G => H).

    Returns PropFormula[]

    An array of derived implications, each with form (F => G) => (F => H).

    Throws

    if implication distribution is not applicable.