External module "deductionFunctions/conjunction/index"

Index

Functions

conjunction

Functions

Const conjunction

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

- Defined in deductionFunctions/conjunction/index.ts:29
Conjunction is another rather trivial rule to identify, and it can only apply at the top level. A Formula that is derived via Conjunction is a conjunction and each operand has to match one of the cited lines.

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

Generated using TypeDoc