Checks if disjunction introduction is applicable.
Disjunction introduction allows us to infer a disjunction from any two formulas as disjuncts.
An array of propositional formulas to check.
true if there are exactly two formulas in the array, otherwise false.
true
false
Checks if disjunction introduction is applicable.
Disjunction introduction allows us to infer a disjunction from any two formulas as disjuncts.