Variable NI`Readonly`

NI: (formulas: PropFormula[]) => [PropFormula] = negationIntroduction

Type declaration

- (formulas: PropFormula[]): [PropFormula]
- Applies negation introduction rule: If (A => B) and (A => ~B), 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.