Checks if implication introduction rule is applicable.
Implication introduction allows us to infer an implication from any two formulas, one of which is an antecedent and the second one is a consequent.
An array of propositional formulas to check.
true if there are exactly two formulas in the array, otherwise false.
true
false
Checks if implication introduction rule is applicable.
Implication introduction allows us to infer an implication from any two formulas, one of which is an antecedent and the second one is a consequent.