chop-logic-core
Version:
Core classes, methods and functions for calculating logical formulas and constructing proofs within the Chop Logic project.
27 lines (26 loc) • 875 B
TypeScript
import type { PropFormula } from "../../../models";
import { NaturalProofBuilder } from "../classes/natural-proof-builder";
/**
* Creates a new proof builder for constructing a Natural Deduction style proof.
* Provides a functional, fluent API for building proofs step by step.
*
* @param goal - The target formula to prove
* @returns A new NaturalProofBuilder instance
*
* @example
* ```typescript
* const proof = buildNaturalProof(goalFormula)
* .addPremise(premiseA, "Given assumption")
* .addAssumption(assumptionB, "Assume B")
* .addDerivedStep(derivedPayload, "Implication Elimination")
* .closeSubProof("Implication Introduction")
* .build();
*
* if (proof.isComplete()) {
* console.log("Proof is valid!");
* }
* ```
*
* @category Natural Calculus
*/
export declare function buildNaturalProof(goal: PropFormula): NaturalProofBuilder;