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.
An array of propositional formulas to check.
True if all formulas match the reversal schema, false otherwise.
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.