Variable CE`Readonly`

CE: (formulas: PropFormula[]) => PropFormula[] = conjunctionElimination

Type declaration

- (formulas: PropFormula[]): PropFormula[]
- Applies Conjunction Elimination rule to an array of conjunction formulas.
  
  Given (A ∧ B), this rule allows us to infer A and B separately.
  Parameters
  - formulas: PropFormula[]
    An array of conjunction formulas to eliminate.
  Returns PropFormula[]
  An array of inferred formulas after applying conjunction elimination.
  
  Throws
  if any formula is not a conjunction.