Return to Article Details Exploring Deductive Reasoning Patterns in Proving Logical Statements Using Equivalence Theorem Download Download PDF