Adinda A, Siregar NC, NST SA. Exploring Deductive Reasoning Patterns in Proving Logical Statements Using Equivalence Theorem. isej [Internet]. 2026May27 [cited 2026Jul.17];7(2):350-9. Available from: https://www.siducat.org/index.php/isej/article/view/2507