matematika

METODE PEMBUKTIAN MATEMATIKA A. 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” hehe.  Nah , untuk menggunakan alur maju, maka pernyataan-pernyataan sebelumnya harus benar. Coba deh kamu buktikan pernyataan ini. Definisi : Suatu bilangan bulat n disebut bilangan GENAP jika terdapat suatu bilangan bulat k, sehingga n = 2k Contoh :  6 adalah genap, sebab terdapat 3 sehingga 6 = 2(3) -4 adalah genap, sebab terdapat (-2) sehingga -4 = 2(3) Definisi : Suatu bilangan bulat n disebut bilangan GANJIL jika terdapat suatu bilangan bulat k, sehingga n = 2k + 1 Contoh : 3 adalah ganjil, sebab terdapat 1 sehingga 3 = 2(1) + 1 -3 adalah ganjil, sebab terdapat (-2) sehingga -3 = 2(-2) + 1 CONTOH SOAL PEMBUKTIAN LANGSUNG 1. Jika diketahui n adalah ganjil, maka buktikan bahwa n 2 adalah ganjil!...

LOGIKA MATEMATIKA Logika matematika adalah cabang logika dan matematika yang mengandung kajian matematis logika dan aplikasi kajian ini pada bidang-bidang lain di luar matematika. Logika matematika berhubungan erat dengan ilmu komputer dan logika filosofis, dengan tema utama kekuatan ekspresif dari logika formal dan kekuatan deduktif dari sistem pembuktian formal. Logika matematika sering dibagi ke dalam cabang-cabang dari teori himpunan, teori model, teori rekursi, teori pembuktian, serta matematika konstruktif. Bidang-bidang ini memiliki hasil dasar logika yang serupa. Pernyataan Dalam logika matematika, kita akan belajar untuk menentukan nilai dari suatu pernyataan. Pernyataan sendiri merupakan kalimat yang sudah pasti mempunyai nilai benar atau sudah pasti mempunyai nilai salah, tetapi tidak sekaligus keduanya. Pernyataan tertutup dan pernyataan terbuka Pernyataan lalu dibagi lagi menjadi dua jenis,  pernyataan tertutup (kalimat tertutup)  dan  pernyata...