Variable IIReadonly

Type declaration

• • (formulas: PropFormula[]): PropFormula

  • Generates a formula based on the Implication Introduction axiom schema.

    Given two formulas A and B, this function returns the formula: (A => (B => A)).

    Parameters

    • formulas: PropFormula[]

      An array of propositional formulas.

    Returns PropFormula

    A new formula representing (A => (B => A)).