Variable EI`Readonly`

EI: (formulas: PropFormula[]) => [PropFormula] = equivalenceIntroduction

Type declaration

- (formulas: PropFormula[]): [PropFormula]
- Introduces an equivalence (A <=> B) given two implications (A => B) and (B => A).
  Parameters
  - formulas: PropFormula[]
    An array of propositional formulas.
  Returns [PropFormula]
  A tuple containing the inferred formula.
  
  Throws
  if the input formulas do not satisfy the equivalence introduction conditions.