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.
An array of propositional formulas to check.
true if all formulas are conjunctions, otherwise false.
true
false
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.