Checks if equivalence introduction rule is applicable.
Equivalence introduction allows us to infer an equivalence (A ≡ B) if we have both implications (A → B) and (B → A).
An array of propositional formulas to check.
true if we can infer equivalence, otherwise false.
true
false
Checks if equivalence introduction rule is applicable.
Equivalence introduction allows us to infer an equivalence (A ≡ B) if we have both implications (A → B) and (B → A).