Logo
Unionpedia
Komunikasi
Temukan di Google Play
Baru! Ambil Unionpedia pada perangkat Android™ Anda!
Bebas
Akses lebih cepat ketimbang browser!
 

Pembuktian melalui kontradiksi

Indeks Pembuktian melalui kontradiksi

Pembuktian melalui kontradiksi (reductio ad absurdum, 'reduksi ke yang absurd', proof by contradiction, 'bukti oleh kontradiksi'), adalah argumen logika yang dimulai dengan suatu asumsi, lalu dari asumsi tersebut diturunkan suatu hasil yang absurd, tidak masuk akal, atau kontradiktif, sehingga dapat diambil kesimpulan bahwa asumsi tadi adalah salah (dan ingkarannya benar).

15 hubungan: Analogi, Aristoteles, Bahasa Yunani Kuno, Bilangan bulat, Bilangan irasional, Bilangan rasional, Hukum kontradiksi, Induksi matematika, Kuadrat, Logika, Matematika, Paritas (matematika), Pembuktian melalui deduksi, Pembuktian melalui induksi, Premis.

Analogi

Analogi adalah persamaan atau persesuaian antara dua benda atau hal yang berlainan.

Baru!!: Pembuktian melalui kontradiksi dan Analogi · Lihat lebih »

Aristoteles

Aristoteles (bahasa Yunani: ‘Aριστοτέλης Aristotélēs), (384 SM – 322 SM) adalah seorang filsuf Yunani yang menjadi guru dari Alexander Agung.

Baru!!: Pembuktian melalui kontradiksi dan Aristoteles · Lihat lebih »

Bahasa Yunani Kuno

9 ayat pertama ''Odisseia'' oleh Homeros. Bahasa Yunani Kuno adalah tahap bukti tertulis bahasa Yunani yang digunakan pada tahun 800 SM (setelah Zaman Kegelapan Yunani dan penggunaan alfabet Yunani yang diturunkan dari abjad Fenisia) hingga 300 SM (pemerintahan Aleksander Agung).

Baru!!: Pembuktian melalui kontradiksi dan Bahasa Yunani Kuno · Lihat lebih »

Bilangan bulat

360x360px Bilangan bulat adalah bilangan yang dapat dituliskan tanpa komponen desimal atau pecahan.

Baru!!: Pembuktian melalui kontradiksi dan Bilangan bulat · Lihat lebih »

Bilangan irasional

Dalam matematika, bilangan irasional adalah bilangan riil yang tidak bisa dibagi (hasil baginya tidak pernah berhenti).

Baru!!: Pembuktian melalui kontradiksi dan Bilangan irasional · Lihat lebih »

Bilangan rasional

Himpunan bilangan rasional terdiri dari himpunan bilangan bulat. Bilangan rasional adalah bilangan yang dapat dinyatakan sebagai perbandingan dua bilangan bulat a dan b, dengan syarat b tidak boleh sama dengan 0.

Baru!!: Pembuktian melalui kontradiksi dan Bilangan rasional · Lihat lebih »

Hukum kontradiksi

Hukum kontradiksi atau principium contradictionis (Bahasa Inggris: law of contradiction) adalah aturan yang menyatakan bahwa tidak mungkin sesuatu itu pada waktu yang sama adalah sesuatu itu dan bukan sesuatu itu.

Baru!!: Pembuktian melalui kontradiksi dan Hukum kontradiksi · Lihat lebih »

Induksi matematika

Sebuah deskripsi tidak formal dari induksi matematika dapat diilustrasikan dengan mengacu kepada efek sekuensial dari jatuhnya domino.Induksi matematika merupakan salah satu kegiatan penalaran deduktif yang berkaitan dengan pembuktian matematika.

Baru!!: Pembuktian melalui kontradiksi dan Induksi matematika · Lihat lebih »

Kuadrat

Kata ambilan dari bahasa Latin.

Baru!!: Pembuktian melalui kontradiksi dan Kuadrat · Lihat lebih »

Logika

''Le Penseur'', atau "Sang Pemikir", oleh Auguste Rodin, 1902. Logika (logica) adalah ilmu yang bertujuan untuk meraih penalaran yang tepat dan sah.

Baru!!: Pembuktian melalui kontradiksi dan Logika · Lihat lebih »

Matematika

Tidak ada perupaan atau penjelasan tentang wujud fisik Euklides yang dibuat selama masa hidupnya yang masih bertahan dari zaman kuno. Oleh karena itu, penggambaran Euklides di dalam karya seni bergantung pada daya khayal seniman (''lihat Euklides''). Matematika, adalah bidang ilmu, yang mencakup studi tentang topik-topik seperti bilangan (aritmetika dan teori bilangan), rumus dan struktur terkait (aljabar), bangun dan ruang tempat mereka berada (geometri), dan besaran serta perubahannya (kalkulus dan analisis).

Baru!!: Pembuktian melalui kontradiksi dan Matematika · Lihat lebih »

Paritas (matematika)

Paritas adalah istilah matematika yang menggambarkan penggolongan sifat dari sebuah bilangan bulat dalam satu dari dua golongan: genap atau ganjil.

Baru!!: Pembuktian melalui kontradiksi dan Paritas (matematika) · Lihat lebih »

Pembuktian melalui deduksi

Pembuktian melalui deduksi adalah sebuah jalan pemikiran yang menggunakan argumen-argumen deduktif untuk beralih dari premis-premis yang ada, yang dianggap benar, kepada kesimpulan-kesimpulan, yang mestinya benar apabila premis-premisnya benar.

Baru!!: Pembuktian melalui kontradiksi dan Pembuktian melalui deduksi · Lihat lebih »

Pembuktian melalui induksi

Pembuktian induktif, kadang-kadang disebut logika induktif, adalah proses pembuktian di mana suatu argumen diduga mendukung kesimpulan tetapi tidak bersinambungan dengannya; contoh: mereka tidak menjamin kebenaran itu.

Baru!!: Pembuktian melalui kontradiksi dan Pembuktian melalui induksi · Lihat lebih »

Premis

Premis merupakan istilah yang digunakan dalam landasan berpikir untuk menarik kesimpulan.

Baru!!: Pembuktian melalui kontradiksi dan Premis · Lihat lebih »

Beralih ke halaman ini:

Bukti melalui kontradiksi, Reductio ad absurdum.

KeluarMasuk
Hei! Kami di Facebook sekarang! »