Variable DI`Readonly`

DI: (formulas: PropFormula[]) => [PropFormula, PropFormula] = disjunctionIntroduction

Type declaration

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