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