SUMMARY
Proses Berpikir Mahasiswa dalam Menyusun Bukti Matematis dengan Strategi Semantik Abstract: This study is aimed to reveal the thinking process in proof construction performed by students with semantic strategy. This study use descriptive-qualitative approach. The thinking process of students will be analyzed using theoretical framework of David Tall about the three worlds of mathematical thinking. The result are three ways of thinking in semantic strategy, namely (1) started from formal world then move into the symbolic or embodied-symbolic world with possibility of more than once and ends within or outside of the formal world, (2) started from symbolic world or embodied-symbolic world then move to the formal world with possibility of more than once and ends within or outside of the formal world, and (3) all thinking processes performed outside of formal world that does not obtain formal proof.Key Words: thinking process, mathematical proof, semantic strategy Abstrak: 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.Kata kunci: proses berpikir, bukti matematis, strategi semantik