Interface SimpleDeductionRuleInterface

Interface for checking a natural deduction rule of equivalence that has only one source formula and is only checked at the top level/main operator.

Hierarchy

SimpleDeductionRuleInterface

Callable

__call(target: Formula, source: Formula): boolean

- Defined in deductionFunctions/index.ts:34
Interface for checking a natural deduction rule of equivalence that has only one source formula and is only checked at the top level/main operator.

Parameters
- target: Formula
- source: Formula
Returns boolean

Generated using TypeDoc