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

    Interface PropProofStep

    Represents a single step in a logical proof. Contains all information needed to display and validate the step.

    interface PropProofStep {
        index: number;
        step: Step;
        formula: PropFormula;
        expression: PropExpression;
        stringView: string;
        comment: string;
        derivedFrom?: number[];
        level?: number;
        assumptionIndex?: number;
    }
    Index

    Properties

    index step formula expression stringView comment derivedFrom? level? assumptionIndex?

    Properties

    index: number

    Sequential number of the step in the proof

    step: Step

    Type of the proof step

    formula: PropFormula

    Logical formula for this step

    expression: PropExpression

    Symbolic expression of the formula

    stringView: string

    String representation for display

    comment: string

    Explanation or justification

    derivedFrom?: number[]

    References to steps this was derived from

    level?: number

    Nesting level for sub-proofs

    assumptionIndex?: number

    Reference to the assumption this step depends on

    Settings

    Member Visibility

    On This Page

    Properties