Exploring Deductive Reasoning Patterns in Proving Logical Statements Using Equivalence Theorem
Abstract
Deductive reasoning is central to mathematical proof, yet university students frequently struggle to transform logical statements through equivalence theorems. This study analyzed mathematics education students' deductive reasoning abilities and explained the reasoning processes underlying high, moderate, and low performance in formal logical proof tasks. An explanatory sequential mixed-methods design was employed. Quantitative data were collected from 46 mathematics education students through five open-ended deductive reasoning test items, while qualitative data were obtained from six purposively selected students through semi-structured interviews. Quantitative data were analyzed descriptively, and qualitative data were analyzed through data condensation, data display, and conclusion drawing. The results showed that students' overall deductive reasoning performance was relatively low (M = 56.56; SD = 19.83), with 60.87% of students categorized as low performers. Students performed better in identifying propositional forms (68%) than in selecting equivalence theorems (54%), maintaining logical transformation consistency (49%), and producing valid conclusions (44%). Qualitative analysis revealed three reasoning patterns: strategic-reflective reasoning among high performers, partially developed but inconsistent reasoning among moderate performers, and procedural-fragmented reasoning among low performers. These findings indicate that successful logical proof construction depends not only on knowledge of equivalence rules but also on theorem selection, transformation monitoring, and metacognitive regulation. The study contributes to mathematics education by clarifying the cognitive and metacognitive characteristics of deductive reasoning in formal logic tasks and by offering implications for proof-oriented logic instruction.
Downloads
References
Alzahrani, K. S. (2017). Metacognition and its role in mathematics learning: An exploration of the perceptions of a teacher and students in a secondary school. International Electronic Journal of Mathematics Education, 12(3), 521-537.
Aziz, A., & Siregar, I. J. (2023). The role of the teaching free learning campus based on local culture in strengthening students' learning experience. In Proceedings of the 1st Lawang Sewu International Symposium on Humanities and Social Sciences 2022 (LEWIS 2022) (p. 26). Atlantis Press.
Chipowe, M., & Hachikona, F. (2018). Students' difficulties in learning propositional logic in undergraduate mathematics. International Journal of Research in Education and Science, 4(2), 567-576.
Creswell, J. W., & Creswell, J. D. (2018). Research design: Qualitative, quantitative, and mixed methods approaches (5th ed.). SAGE Publications.
Duval, R. (2006). A cognitive analysis of problems of comprehension in a learning of mathematics. Educational Studies in Mathematics, 61(1-2), 103-131. https://doi.org/10.1007/s10649-006-0400-z
Fadiana, M., & Andriani, A. (2021). Metacognition profile of vocational high school students in mathematics problem solving based on logical thinking skills. AL-ISHLAH: Jurnal Pendidikan, 13(2), 1027-1037. https://doi.org/10.35445/alishlah.v13i2.376
Hamami, Y., & Morris, R. L. (2024). Understanding in mathematics: The case of mathematical proofs. Nous, 58(4), 1073-1106. https://doi.org/10.1111/nous.12489
Hendricks, W., & Olawale, B. E. (2023). Mathematical probability: Learner's misconception in a selected South African school. Infinity Journal, 12(1), 165-178. https://doi.org/10.22460/infinity.v12i1.p165-178
Isnani, I., Waluya, S. B., Dewi, D., & Asikin, M. (2022). Analysis of students' difficulties in mathematical proof ability viewed from an epistemological aspect. In International Conference on Science, Education and Technology (pp. 735-739).
Maifa, T. S., Suryadi, D., & Fatimah, S. (2025). Identifying learning obstacles in proof construction for geometric transformations: Conceptual, procedural, and visualization errors. Infinity Journal, 14(3), 673-694. https://doi.org/10.22460/infinity.v14i3.p673-694
Mejia-Ramos, J. P., Lew, K., de la Torre, J., & Weber, K. (2017). Developing and validating proof comprehension tests in undergraduate mathematics. Research in Mathematics Education, 19(2), 130-146. https://doi.org/10.1080/14794802.2017.1325776
Melhuish, K., Vroom, K., Lew, K., & Ellis, B. (2022). Operationalizing authentic mathematical proof activity using disciplinary tools. The Journal of Mathematical Behavior, 68, 101009. https://doi.org/10.1016/j.jmathb.2022.101009
Miles, M. B., Huberman, A. M., & Saldana, J. (2014). Qualitative data analysis: A methods sourcebook (3rd ed.). SAGE Publications.
Neuhaus-Eckhardt, S., Sommerhoff, D., Rach, S., & Ufer, S. (2025). Proof comprehension, proof validation, & proof construction: All the same or different skills? An answer based on an empirical analysis. International Journal of Science and Mathematics Education, 23(8), 4153-4178. https://doi.org/10.1007/s10763-025-10621-3
Nurlaelah, E., Pebrianti, A., Taqiyuddin, M., Dahlan, J. A., & Usdiyana, D. (2025). Improving mathematical proof based on computational thinking components for prospective teachers in abstract algebra courses. Infinity Journal, 14(1), 85-108. https://doi.org/10.22460/infinity.v14i1.p85-108
Schoenfeld, A. H. (1985). Mathematical problem solving. Academic Press.
Selden, A., & Selden, J. (2008). Overcoming students' difficulties in learning to understand and construct proofs. In M. P. Carlson & C. Rasmussen (Eds.), Making the connection: Research and practice in undergraduate mathematics education (pp. 95-110). Mathematical Association of America. https://doi.org/10.5948/UPO9780883859759.009
Sommerhoff, D., & Ufer, S. (2019). Acceptance criteria for validating mathematical proofs used by pupils, university students, and mathematicians in the context of teaching. ZDM Mathematics Education, 51(5), 717-730. https://doi.org/10.1007/s11858-019-01039-7
Sommerhoff, D., Kollar, I., & Ufer, S. (2021). Supporting mathematical argumentation and proof skills: Comparing the effectiveness of a sequential and a concurrent instructional approach to support resource-based cognitive skills. Frontiers in Psychology, 11, 572165. https://doi.org/10.3389/fpsyg.2020.572165
Sommerhoff, D., Kollar, I., & Ufer, S. (2025). Undergraduate students' mathematical proof skills: Examining the impact of six cognitive resources. In K. Weber & M. Savic (Eds.), New directions for mathematics education research on proving: Honoring the legacy of John and Annie Selden (pp. 45-71). Springer Nature. https://doi.org/10.1007/978-3-031-85004-2_3
Stylianides, A. J., Komatsu, K., Weber, K., & Stylianides, G. J. (2022). Teaching and learning authentic mathematics: The case of proving. In M. Danesi (Ed.), Handbook of cognitive mathematics (pp. 727-761). Springer. https://doi.org/10.1007/978-3-031-03945-4_9
Stylianides, G. J., Stylianides, A. J., & Moutsios-Rentzos, A. (2024). Proof and proving in school and university mathematics education research: A systematic review. ZDM Mathematics Education, 56, 47-59. https://doi.org/10.1007/s11858-023-01518-y
Teoh, S. H., Rahmawati, Parmjit, S., & Retnawati, H. (2025). Exploring mathematical reasoning and proof with Indonesian senior high school students. Malaysian Journal of Mathematical Sciences, 19(3), 837-855. https://doi.org/10.47836/mjms.19.3.04
Tithi, S. D., Tian, X., Chi, M., & Barnes, T. (2025). Investigating the impact and student perceptions of guided Parsons problems for learning logic with subgoals. arXiv. https://arxiv.org/abs/2505.04712
Veenman, M. V. J., & van Cleef, D. (2019). Measuring metacognitive skills for mathematics: Students' self-reports versus on-line assessment methods. ZDM Mathematics Education, 51(4), 691-701. https://doi.org/10.1007/s11858-018-1006-5
Weber, K. (2001). Student difficulty in constructing proofs: The need for strategic knowledge. Educational Studies in Mathematics, 48(1), 101-119. https://doi.org/10.1023/A:1015535614355
Wulan, E. R., Subanji, S., & Muksar, M. (2021). Metacognitive failure in constructing proof and how to scaffold it. Al-Jabar: Jurnal Pendidikan Matematika, 12(2), 295-314. https://doi.org/10.24042/ajpm.v12i2.9590
Yanti, S., Fauzi, A., & Mulyono, M. (2021). Development of mathematics teaching materials based on metacognition approaches to improve students' mathematical reasoning ability. Jurnal Cendekia: Jurnal Pendidikan Matematika, 5(2), 1214-1222. https://doi.org/10.31004/cendekia.v5i2.582
Copyright (c) 2026 Anita Adinda, Nur Choiro Siregar, Sarah Auliyah NST
This work is licensed under a Creative Commons Attribution 4.0 International License.
Authors who publish with ISEJ: Indonesian Science Education Journal agree to the following terms:
- Authors retain copyright and grant the ISEJ: Indonesian Science Education Journal right of first publication with the work simultaneously licensed under Creative Commons Attribution License (CC BY 4.0) that allows others to share the work with an acknowledgment of the work's authorship and initial publication in this journal.
- Authors can enter into separate, additional contractual arrangements for the non-exclusive distribution of the published version of the work (e.g., post it to an institutional repository or edit it in a book), with an acknowledgment of its initial publication in this journal.
- Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) before and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work.
_(3).png)
