Checks if conjunction introduction rule is applicable.
Conjunction introduction allows us to infer a conjunction from any two conjuncts.
An array of propositional formulas to check.
true if all there are exactly two formulas in the array, otherwise false.
true
false
Checks if conjunction introduction rule is applicable.
Conjunction introduction allows us to infer a conjunction from any two conjuncts.