Variable CI`Readonly`

CI: (formulas: PropFormula[]) => [PropFormula, PropFormula] = conjunctionIntroduction

Type declaration

- (formulas: PropFormula[]): [PropFormula, PropFormula]
- Applies the conjunction introduction rule.
  
  Given two formulas A and B, it returns two conjunctions: (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 conjunction introduction conditions.