chop-logic-core/lib/propositional/validators/is-implication-reversal-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 implication reversal is applicable to all formulas in the array.
 *
 * Each formula in the input array must satisfy the schema ¬F => ¬G.
 * If all formulas match the schema, reversal can be applied to each.
 *
 * @param formulas - An array of propositional formulas to check.
 * @returns True if all formulas match the reversal schema, false otherwise.
 * @category Validators
 */
export declare function isImplicationReversalApplicable(formulas: PropFormula[]): boolean;