Search
Preparing search index...
The search index is not available
logically
Options
All
Public
Public/Protected
All
Inherited
Externals
Only exported
Menu
Globals
"deductionFunctions/conditional-proof/index"
External module "deductionFunctions/conditional-proof/index"
Index
Functions
conditional
Proof
Functions
Const
conditional
Proof
conditional
Proof
(
target
:
LineOfProof
, sources
:
LineOfProof
[]
)
:
boolean
Checks for a valid application of Conditional Proof.
Parameters
target:
LineOfProof
sources:
LineOfProof
[]
Returns
boolean
Globals
"deduction
Functions/conditional-
proof/index"
conditional
Proof
Generated using
TypeDoc
Checks for a valid application of Conditional Proof.