ADINDA, A.; SIREGAR, N. C.; NST, S. A. Exploring Deductive Reasoning Patterns in Proving Logical Statements Using Equivalence Theorem. ISEJ : Indonesian Science Education Journal, v. 7, n. 2, p. 350-359, 27 May 2026.