Variable DE`Readonly`

DE: (formulas: PropFormula[]) => [PropFormula] = disjunctionElimination

Type declaration

- (formulas: PropFormula[]): [PropFormula]
- Applies the disjunction elimination rule: Given formulas (A ∨ B), (A => C), and (B => C), we can infer C.
  Parameters
  - formulas: PropFormula[]
    An array of propositional formulas.
  Returns [PropFormula]
  A tuple containing the inferred formula.
  
  Throws
  if the formulas do not satisfy disjunction elimination conditions.