External module "deductionFunctions/material-implication/index"

Index

Functions

Functions

Const materialImplication

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

- Defined in deductionFunctions/material-implication/index.ts:31
Function that checks for Material Implication recursively.

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

Const simpleMaterialImplication

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

- Defined in deductionFunctions/material-implication/index.ts:17
Function for verifying the application of Material Implication, which is a Rule of Equivalence that transforms a conditional into a disjunction, as in: (i) p -> q; (ii) ~p V q. This rule is easily verified by first identifing which input proposition is the conjunction, and which is the disjunction. Then we compare the operands and check that the second operands are equval, and the first operands are negations of each other.

Parameters
- t: Formula
- s: Formula
Returns boolean

Generated using TypeDoc