External module "deductionFunctions/commutativity/index"

Index

Functions

Functions

Const commutativity

commutativity(target: LineOfProof, sources: LineOfProof[]): boolean

- Defined in deductionFunctions/commutativity/index.ts:32
We then apply the checkRuleRecursively HOF to simpleCommutativity to check commutativity recursively.

Parameters
- target: LineOfProof
- sources: LineOfProof[]
Returns boolean
- Can we reach the target from the source via Commutativitiy?

Const simpleCommutativity

simpleCommutativity(t: Formula, s: Formula): boolean

- Defined in deductionFunctions/commutativity/index.ts:19
Function that checks whether Commutativity applies at the top level. Commutativity is fairly easy to identify at this level - the two formulas have the same operators, and the same operands, but in different order.

Parameters
- t: Formula
  
  Target formula
- s: Formula
  
  Source formula
Returns boolean
- Does Commutativity apply at the top level?

Generated using TypeDoc