Check if two formulas are structurally equal
Check if Implication Elimination is applicable
Check if Disjunction Elimination is applicable
Check if Conjunction Elimination is applicable
Check if Equivalence Elimination is applicable
Check if Negation Elimination is applicable
Check if Disjunction Introduction is applicable
Check if Conjunction Introduction is applicable
Check if Equivalence Introduction is applicable
Check if Negation Introduction is applicable
Check if Implication Introduction is applicable
Types of formula validation checks. Used to verify the applicability of logical rules and structural equality.