PEMBUKTIAN: LANGSUNG, TAK LANGSUNG, KONTRADIKSI, INDUKSI MATEMATIKA
Nama : Ronald Hersan Wibowo Kelas : XI IPS 3 No. Absen : 32 -Pembuktian langsung adalah metode pembuktian yang menggunakan alur maju . Mulai dari pendefinisian sampai menghasilkan kesimpulan. Seperti , “kalau A maka B dan kalau B maka C” -pembuktian tak langsung (terbalik) adalah pembuktian dengan pemisalan ingkaran pernyataan yang akan dibuktikan tadi sebagai hal yang benar, namun dengan langkah-langkah yang logis, pemisalan ini mengarah ke suatu keadaan yang kontradiktif. Kontraposisi adalah salah satu metode pembuktian tidak langsung. Kontraposisi memanfaatkan salah satu prinsip dalam logika matematika yaitu Artinya, kalau mau membuktikan pernyataan p akan menghasilkan pernyataan q itu benar, maka buktikan saja bila bukan q maka akan menghasilkan bukan p. Misalnya pernyataan p adalah 7n + 9 bilangan genap dan pernyataan q adalah n bilangan ganjil. Maka yang kita buktikan adalah bila n bukan bilangan ganjil (bilangan genap), maka ...