Variable IE`Readonly`

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

Type declaration

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