Variable II`Readonly`

II: (formulas: PropFormula[]) => [PropFormula] = implicationIntroduction

Type declaration

- (formulas: PropFormula[]): [PropFormula]
- Applies the implication introduction rule.
  
  Given two formulas premise and conclusion, it returns their implication
  Parameters
  - formulas: PropFormula[]
    An array of propositional formulas.
  Returns [PropFormula]
  A tuple containing the inferred formula.
  
  Throws
  if the formulas do not satisfy disjunction introduction conditions.