chop-logic-core/lib/models/formula.d.ts

Core classes, methods and functions for calculating logical formulas and constructing proofs within the Chop Logic project.

import type { Operator } from "../enums";
import type { PropAtom } from "./basic";
/**
 * Represents a well-formed formula in propositional logic.
 * Can be either atomic or composite with an operator and subformulas.
 *
 * @category Formula Types
 */
export interface PropFormula {
    /** The main logical operator of the formula */
    operator: Operator;
    /** Either sub-formulas for composite formulas or an atomic proposition */
    values: PropFormula[] | PropAtom;
}
/**
 * Maps indices to atomic propositions for variable tracking.
 * Used to maintain associations between formula parts.
 *
 * @category Formula Types
 */
export type PropFormulaVariablesMap = Map<number, PropAtom>;