chop-logic-core/lib/propositional/validators/validate-prop-formulas.d.ts

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

import { PropFormulaCheck } from "../../enums";
import type { PropFormula } from "../../models";
/**
 * Applies a series of propositional formula checks to an array of formulas.
 *
 * @param formulas - An array of propositional formulas to check.
 * @param checks - An array of check names to apply (defaults to all available checks).
 * @returns An object mapping each check name to its boolean result.
 * @category Validators
 */
export declare function validatePropFormulas(formulas: PropFormula[], checks?: PropFormulaCheck[]): Record<PropFormulaCheck, boolean>;