Chop Logic Core - v1.6.0
    Preparing search index...

    Module PropositionalLogic

    Main exports for propositional logic functionality.

    Builders

    createOperator
    createPropExpression
    createPropFormula
    createPropSymbol

    Converters

    convertPropFormulaToExpression
    convertPropFormulaToString
    extractPropSubFormulas
    extractPropVariables

    Evaluators

    calculatePropFormula
    getBinaryOperationValue
    getUnaryOperationValue

    Hilbert Calculus

    HilbertAxioms
    HilbertProofBuilder
    HilbertProof
    buildHilbertProof
    composeHilbertProof
    generateHilbertProofStep
    HilbertRules

    Natural Calculus

    NaturalProofBuilder
    NaturalProof
    buildNaturalProof
    composeNaturalProof
    generateNaturalProofSteps
    NaturalRules

    Truth Tables

    generatePropTruthTable
    generateTruthAssignments

    Validators

    arePropFormulasStructurallyEqual
    isConjunctionEliminationApplicable
    isConjunctionIntroductionApplicable
    isDisjunctionEliminationApplicable
    isDisjunctionIntroductionApplicable
    isEquivalenceEliminationApplicable
    isEquivalenceIntroductionApplicable
    isImplicationEliminationApplicable
    isImplicationIntroductionApplicable
    isNegationEliminationApplicable
    isNegationIntroductionApplicable
    isWellFormedFormula
    validatePropFormulas

    Settings

    Member Visibility

    On This Page

    Builders
    Converters
    Evaluators
    Hilbert Calculus
    Natural Calculus
    Truth Tables
    Validators