Proses berpikir mahasiswa dalam menyusun bukti matematis dengan strategi semantik

Penelitian ini bertujuan untuk menjelaskan proses berpikir mahasiswa dalam menyusun bukti matematis dengan strategi semantik. Penelitian ini menggunakan pendekatan deskiptif-kualitatif. Analisis data dilakukan dengan menggunakan kerangka kerja David Tall tentang tiga dunia berpikir matematik. Hasil penelitian menunjukkan bahwa terdapat enam kemungkinan jalur dalam strategi semantik ditinjau dari teori tiga dunia berpikir matematis. Hasil penelitian menunjukkan ada tiga jalur berpikir mahasiswa dalam menyusun bukti matematis dengan strategi semantik, yaitu (1) bermula dari dunia berpikir formal berpindah ke dunia berpikir wujud-simbolik atau dunia berpikir simbolik dengan proses perpindahan dimungkinkan lebih dari satu kali dan berakhir di dalam atau di luar dunia berpikir formal, (2) bermula dari dunia berpikir wujud simbolik atau dunia berpikir simbolik (non RSP) lalu pindah ke dunia berpikir formal dengan proses perpindahan dimungkinkan lebih dari satu kali dan berakhir di dalam atau di luar dunia berpikir formal, dan (3) semua proses berpikir terjadi di luar dunia berpikir formal