Chop Logic Core - v1.8.3
Preparing search index...
PropositionalLogic
Module PropositionalLogic
Main exports for propositional logic functionality.
Builders
createOperator
createPropExpression
createPropFormula
createPropSymbol
Converters
convertPropFormulaToExpression
convertPropFormulaToString
extractPropSubFormulas
extractPropVariables
replaceAtomInFormula
Evaluators
calculatePropFormula
getBinaryOperationValue
getUnaryOperationValue
Hilbert Calculus
HilbertAxioms
HilbertProofBuilder
HilbertProof
buildHilbertProof
composeHilbertProof
generateHilbertProofSteps
HilbertRules
Natural Calculus
NaturalProofBuilder
NaturalProof
buildNaturalProof
composeNaturalProof
generateNaturalProofSteps
NaturalRules
Truth Tables
generatePropTruthTable
generateTruthAssignments
Validators
arePropFormulasStructurallyEqual
isConjunctionEliminationApplicable
isConjunctionIntroductionApplicable
isDisjunctionEliminationApplicable
isDisjunctionIntroductionApplicable
isEquivalenceEliminationApplicable
isEquivalenceIntroductionApplicable
isImplicationDistributionApplicable
isImplicationEliminationApplicable
isImplicationIntroductionApplicable
isImplicationReversalApplicable
isNegationEliminationApplicable
isNegationIntroductionApplicable
isPropAtom
isWellFormedFormula
validatePropFormulas
Settings
Member Visibility
Inherited
Theme
OS
Light
Dark
On This Page
Builders
create
Operator
create
Prop
Expression
create
Prop
Formula
create
Prop
Symbol
Converters
convert
Prop
Formula
To
Expression
convert
Prop
Formula
To
String
extract
Prop
Sub
Formulas
extract
Prop
Variables
replace
Atom
In
Formula
Evaluators
calculate
Prop
Formula
get
Binary
Operation
Value
get
Unary
Operation
Value
Hilbert Calculus
Hilbert
Axioms
Hilbert
Proof
Builder
Hilbert
Proof
build
Hilbert
Proof
compose
Hilbert
Proof
generate
Hilbert
Proof
Steps
Hilbert
Rules
Natural Calculus
Natural
Proof
Builder
Natural
Proof
build
Natural
Proof
compose
Natural
Proof
generate
Natural
Proof
Steps
Natural
Rules
Truth Tables
generate
Prop
Truth
Table
generate
Truth
Assignments
Validators
are
Prop
Formulas
Structurally
Equal
is
Conjunction
Elimination
Applicable
is
Conjunction
Introduction
Applicable
is
Disjunction
Elimination
Applicable
is
Disjunction
Introduction
Applicable
is
Equivalence
Elimination
Applicable
is
Equivalence
Introduction
Applicable
is
Implication
Distribution
Applicable
is
Implication
Elimination
Applicable
is
Implication
Introduction
Applicable
is
Implication
Reversal
Applicable
is
Negation
Elimination
Applicable
is
Negation
Introduction
Applicable
is
Prop
Atom
is
Well
Formed
Formula
validate
Prop
Formulas
Chop Logic Core - v1.8.3
Loading...
Main exports for propositional logic functionality.