Variable NE`Readonly`

NE: (formulas: PropFormula[]) => [PropFormula] = negationElimination

Type declaration

- (formulas: PropFormula[]): [PropFormula]
- Applies negation elimination rule: If ~(~A), then we can infer ~A.
  Parameters
  - formulas: PropFormula[]
    An array of propositional formulas.
  Returns [PropFormula]
  A tuple containing the inferred formula.
  
  Throws
  if negation introduction rule is not applicable.