PEMBUKTIAN MATEMATIS

A. Definisi Pembuktian Matematis

Dalam matematika, pembuktian adalah serangkaian argumen logis yang
menjelaskan kebenaran suatu pernyataan. Hal ini dinyatakan oleh Hanna dan Barbeau
(VanSpronsen, 2008) pembuktian adalah penerapan sejumlah berhingga langkah-langkah
logis dari apa yang diketahui (aksioma, prinsip-prinsip atau hasil yang telah dibuktikan
sebelumnya) dan menerapkan prinsip-prinsip logika, untuk menciptakan argumen
deduktif yang valid guna mencapai suatu kesimpulan menggunakan aturan inferensi yang
dapat diterima. (Dickersen, 2008).
Kemampuan pembuktian matematis adalah salah satu kemampuan yang harus
dimiliki oleh mahasiswa calon guru matematika agar mahasiswa mampu untuk berpikir
logis dan sistematis. NCTM (Hodiyanto, 2017) disebutkan bahwa mathematical
reasoning and proof offer powerful ways of developing and expressing insights about a
wide range of phenomena. Lebih lanjut disebutkan bahwa ultimately, a mathematical
proof is a formal way of expressing particular kinds of reasoning and justification.
Artinya, penalaran dan pembuktian matematis menawarkan cara ampuh untuk
mengembangkan dan mengekspresikan wawasan tentang berbagai fenomena. Oleh sebab
itu, kemampuan pembuktian matematis adalah cara formal untuk mengekspresikan
berbagai fakta atau keterangan dalam penalaran dan pembenaran. (Hodiyanto & Susiaty,
2018)
Pembuktian matematika adalah sebuah demonstrasi yang meyakinkan atas rumus,
teorema itu benar, dengan bantuan logika dan matematika. Pembuktian bukti telah lama
mendapatkan perhatian besar dalam matematika teoritis. Menurut Hernandi (2008)
pembuktian terbagi menjadi dua yaitu pembuktian langsung dan tidak langsung.
Untuk definisi nya sendiri pembuktikan langsung adalah pembuktian suatu
kalimat atau sifat matematika tanpa mengubah susunan kalimat tersebut. Dengan kata
lain untuk membuktikan kebenaran pernyataan implikasi p →q . Kita berangkat dengan
memisalkan p benar, maka harus dibuktikan bahwa q juga benar. Sedangkan pembuktian
tidak langsung adalah pembuktian suatu kalimat atau sifat matematika dengan mengubah
susunan kalimat tersebut. Bukti tidak langsung terdiri atas bukti dengan kontraposisi dan
bukti dengan kontradiksi.

Menurut Lestari & Yudhanegara (2015) kemampaun pembuktian matematis

adalah kemampuan memahami pernyataan atau simbol matematika serta memberikan
alasan/bukti terhadap kebenaran solusi.
Kemampuan pembuktian matematis merupakan kemampuan yang dimiliki
seseorang dalam berargumentasi secara logis dan dapat menggunakan nalar dalam
mempertahakan argumennya sehingga didapatkan hasil yang valid. (Nurrahmah &
Karim, 2018)

Analisis kelompok :
Analisis kelompok berdasarkan pengertian mengenai pembuktian matematis
adalah suatu cara berfikir formal dan logis sehingga mampu menjelaskan kebenaran suatu
pernyataan yang dapat meyakinkan atas rumus, teorema itu benar dengan bantuan logika
matematika yang dimulai dengan aksioma dan bergerak maju melalui langkah yang logis
(artinya setiap langkah dalam argumentasi di benarkan oleh langkah – langkah
sebelumnya) sampai pada suatu kesimpulan.