Variable IE`Readonly`

IE: (formulas: PropFormula[]) => PropFormula[] = implicationEliminationRule

Type Declaration

- (formulas: PropFormula[]): PropFormula[]
- Applies the rule of Implication Elimination (Modus Ponens).
  
  Given an implication (A => B) and its antecedent A, it derives the consequent B.
  Parameters
  - formulas: PropFormula[]
    An array of propositional formulas.
  Returns PropFormula[]
  The consequent of the implication if the rule is applicable.
  
  Throws
  if implication elimination is not applicable.