Adinda, A.; Siregar, N. C.; NST, S. A. Exploring Deductive Reasoning Patterns in Proving Logical Statements Using Equivalence Theorem. isej 2026, 7, 350-359.