External module "deductionFunctions/hypothetical-syllogism/index"

Const hypotheticalSyllogism

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

• (i) p -> q; (ii) q -> r; (iii) p -> r;

  With Hypothetical Syllogism, we have two cited lines, each of which is supposed to be a conditional. Let's call them A and B. There are two cases: Either the second operand of A matches the first operand of B, and the second operand of B matches the second operand of the target, and the first operand of A matches the first operand of the target. Or: The same with A and B reversed.

  Here, we simply enumerate through these cases.

  Parameters

  • target: LineOfProof

  • sources: LineOfProof[]

  Returns boolean