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.
Penulis: Julan Hernadi
Kode Jurnal: jpmatematikadd080010
Artikel Terkait :
