Variable IDReadonly

Type declaration

• • (formulas: PropFormula[]): PropFormula

  • Constructs a formula based on the Implication Distribution axiom schema: ((A => (B => C)) => ((A => B) => (A => C)))

    Parameters

    • formulas: PropFormula[]

      An array of propositional formulas.

    Returns PropFormula

    A new propositional formula representing the axiom schema.