Search

Preparing search index...
The search index is not available

logically

Options

All

Public
Public/Protected
All

Inherited Externals Only exported

Menu

Globals

logically

logically

logically is a library for representing and evaluating symbolic logic formulas and proofs.

Globals
"Formula"
"Formula.test"
"Proof"
"Proof.test"
"constants"
"deductionFunctions/addition/index"
"deductionFunctions/associativity/index"
"deductionFunctions/commutativity/index"
"deductionFunctions/conditional-proof/index"
"deductionFunctions/conjunction/index"
"deductionFunctions/constructive-dilemma/index"
"deductionFunctions/de-morgans/index"
"deductionFunctions/deductionFunctions"
"deductionFunctions/disjunctive-syllogism/index"
"deductionFunctions/distribution/index"
"deductionFunctions/double-negation/index"
"deductionFunctions/exportation/index"
"deductionFunctions/hypothetical-syllogism/index"
"deductionFunctions/index"
"deductionFunctions/indirect-proof/index"
"deductionFunctions/material-equivalence/index"
"deductionFunctions/material-implication/index"
"deductionFunctions/modus-ponens/index"
"deductionFunctions/modus-tollens/index"
"deductionFunctions/simplification/index"
"deductionFunctions/tautology/index"
"deductionFunctions/transposition/index"
"index"
"utils"
"utils.test"

Legend

Module
Object literal
Variable
Function
Function with type parameter
Index signature
Type alias

Enumeration
Enumeration member
Property
Method

Interface
Interface with type parameter
Constructor
Property
Method
Index signature

Class
Class with type parameter
Constructor
Property
Method
Accessor
Index signature

Inherited constructor
Inherited property
Inherited method
Inherited accessor

Protected property
Protected method
Protected accessor

Private property
Private method
Private accessor

Static property
Static method

Generated using TypeDoc