Checks if equivalence elimination is applicable.
Equivalence elimination allows us to infer any argument from an equivalence. This function verifies whether all provided formulas are equivalences.
An array of propositional formulas to check.
true if all formulas are equivalences, otherwise false.
true
false
Checks if equivalence elimination is applicable.
Equivalence elimination allows us to infer any argument from an equivalence. This function verifies whether all provided formulas are equivalences.