Metoda Pembuktian dalam Matematika

Abstract

Di dalam matematika, bukti adalah serangkaian argumen logis yang menjelaskan kebenaran suatu pernyataan. Argumen-argumen ini dapat berasal dari premis pernyataan itu sendiri, teorema-teorema lainnya, definisi, dan akhirnya dapat berasal dari postulat dimana sistem matematika tersebut berasal. Yang dimaksud logis di sini, adalah semua langkah pada setiap argumen harus dijustifikasi oleh langkah sebelumnya. Jadi kebenaran semua premis pada setiap deduksi sudah dibuktikan atau diberikan sebagai asumsi. Pada tulisan sederhana ini dibahas sekilas tentang bukti dalam matematika dan beberapa metoda pembuktiannya.