External module "deductionFunctions/double-negation/index"

Index

Functions

Functions

Const doubleNegation

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

- Defined in deductionFunctions/double-negation/index.ts:39
Checks for applications of Double Negation recursively.

Parameters
- target: LineOfProof
- sources: LineOfProof[]
Returns boolean

Const simpleDoubleNegation

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

- Defined in deductionFunctions/double-negation/index.ts:16
Function that checks whether Double Negation applies at the top level

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

Generated using TypeDoc