Adinda, A., N. C. Siregar, and S. A. NST. “Exploring Deductive Reasoning Patterns in Proving Logical Statements Using Equivalence Theorem”. ISEJ : Indonesian Science Education Journal, Vol. 7, no. 2, May 2026, pp. 350-9, doi:10.62159/isej.v7i2.2507.