Matematika

Pembuktian Matematika Althaf Akmal Ramadhan (4) XI IPS 2 1. Pembuktian Langsung Pembuktian langsung adalah metode pembuktian yang menggunakan alur maju. Mulai dari pendefinisian sampai menghasilkan kesimpulan. Gampangnya sih, “kalau A maka B dan kalau B maka C”. Nah, untuk menggunakan alur maju, maka pernyataan-pernyataan sebelumnya harus benar. Coba kamu buktikan pernyataan ini. “Jumlah dari dua bilangan genap adalah bilangan genap” Ya... kalau kita pikir-pikir, ya pasti sih, 2 + 2 = 4 dan 4 + 10 = 14. Tapi gimana ya buat bisa membuktikan kalau pernyataan itu berlaku buat semua bilangan genap? Coba perhatikan gambar di bawah ini. Jadi pertama kamu definisikan dulu  bilangan genap itu seperti apa. Bila definisinya sudah benar, lanjut ke pernyataan selanjutnya, maka penjumlahan kedua bilangan itu akan seperti apa. Kamu juga butuh sedikit memanipulasi penjumlahan itu agar bisa mendapat bentuk yang diinginkan. Setelah itu, lanjut ke kesimpulan. Ingat, kesimpulannya h...

                         LOGIKA MATEMATIKA Logika matematika adalah cabang logika dan matematika yang mengandung kajian logika matematis dan aplikasi kajian ini pada bidang-bidang lain di luar matematika. Logika matematika berhubungan erat dengan ilmu komputer dan logika filosofis. Tema utama dalam logika matematika antara lain adalah kekuatan ekspresif dari logika formal dan kekuatan deduktif dari sistem pembuktian  formal. i. Tabel Logika Matematika A. Pernyataan Pada dasarnya, pernyataan merupakan suatu kalimat yang bernilai benar ataupun salah, namun tidak keduanya. Sedangkan, suatu kalimat dikatakan bukan pernyataan jika kita tidak dapat menentukan apakah kalimat tersebut benar atau salah atau mengandung pengertian relatif. Di dalam logika matematika terdapat dua jenis pernyataan, yaitu pernyataan tertutup dan pernyataan terbuka. Contoh: 7 + 3 = 10 (pernyataan tertutup yang bernilai benar) 6 × 9 = 20...