External module "deductionFunctions/simplification/index"

Const simplification

• simplification(target: LineOfProof, sources: LineOfProof[]): boolean

• Function that checks for the application of Simplification, which takes a conjunction and reduces it to one of its conjuncts.

  Parameters

  • target: LineOfProof

  • sources: LineOfProof[]

  Returns boolean