chop-logic-core/lib/propositional/validators/is-conjunction-elimination-applicable.d.ts

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

import type { PropFormula } from "../../models";
/**
 * Checks if conjunction elimination is applicable.
 *
 * Conjunction elimination allows us to infer any conjunct from a conjunction.
 * This function verifies whether all provided formulas are conjunctions.
 *
 * @param formulas - An array of propositional formulas to check.
 * @returns `true` if all formulas are conjunctions, otherwise `false`.
 * @category Validators
 */
export declare function isConjunctionEliminationApplicable(formulas: PropFormula[]): boolean;