Variable IR`Readonly`

IR: (formulas: PropFormula[]) => PropFormula = implicationReversalSchema

Type Declaration

- (formulas: PropFormula[]): PropFormula
- Constructs a formula based on the Implication Reversal axiom schema: ((~A => ~B) => (B => A))
  Parameters
  - formulas: PropFormula[]
    An array of propositional formulas.
  Returns PropFormula
  A new propositional formula representing the implication reversal.