Logo
Unionpedia
Komunikasi
Temukan di Google Play
Baru! Ambil Unionpedia pada perangkat Android™ Anda!
Pasang
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).

22 hubungan: Alain Aspect, Algoritma, Analytika Hystera, Analytika Protera, Bukti bahwa e irasional, Daftar penemuan di dunia Islam pertengahan, Hippasos, Hippokrates dari Khios, Hukum kontradiksi, Mazhab Elea, Metode penghabis, Otak Boltzmann, Panarion, Pecahan tak tersederhanakan, Pembuktian melalui deduksi, Pembuktian melalui induksi, Pertentangan antar hak asasi manusia, Pi, Pohon rentang minimum, Reductio ad Hitlerum, Teorema Wilson, What Is It Like to Be a Bat?.

Alain Aspect

Alain Aspect (lahir 15 Juni 1947) adalah seorang fisikawan Prancis yang terkenal karena karya eksperimentalnya pada keterkaitan kuantum.

Baru!!: Pembuktian melalui kontradiksi dan Alain Aspect · Lihat lebih »

Algoritma

Diagram alur dari sebuah algoritme (Algoritme Euclid) untuk menghitung faktor persekutuan terbesar (f.p.b.) dari dua angka ''a'' dan ''b'' dalam lokasi bernama A dan B. Algoritme dijalankan dengan pengurangan berturut-turut dalam dua pengulangan: JIKA pengujian B >.

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

Analytika Hystera

Manuskrip Analisa Lanjutan (''Analytica Posteriora'') dalam Bahasa Latin. Analytika Hystera (Analytiká Hýstera; Analytica Posteriora), atau Analisa Lanjutan (Posterior Analytics), adalah satu korpus dalam Organon karya Aristoteles yang menjelaskan cara pembuktian (demonstrasi) dan cara memperoleh pengetahuan.

Baru!!: Pembuktian melalui kontradiksi dan Analytika Hystera · Lihat lebih »

Analytika Protera

Biblioteca Medicea Laurenziana, Florence, Italia. Analytiká Prótera, atau Analisa Dasar (Prior Analytics) adalah karya Aristoteles yang disusun sekitar 350 SM tentang penalaran yang dikenal sebagai silogistik.

Baru!!: Pembuktian melalui kontradiksi dan Analytika Protera · Lihat lebih »

Bukti bahwa e irasional

Bilangan ''e'' diperkenalkan oleh Jacob Bernoulli pada tahun 1683.

Baru!!: Pembuktian melalui kontradiksi dan Bukti bahwa e irasional · Lihat lebih »

Daftar penemuan di dunia Islam pertengahan

Dokter menggunakan metode bedah. Dari ''Bedah Kekaisaran'' Şerafeddin Sabuncuoğlu (1465). Berikut ini adalah daftar penemuan yang dibuat di dunia Islam abad pertengahan, terutama selama Zaman Keemasan Islam,Max Weber & Islam, Toby E. Huff and Wolfgang Schluchter, eds., Transaction Publishers, 1999,, p. 53 serta di negara-negara bagian selanjutnya dari Zaman Bubuk Mesiu Islam seperti kekaisaran Ottoman dan Mughal.

Baru!!: Pembuktian melalui kontradiksi dan Daftar penemuan di dunia Islam pertengahan · Lihat lebih »

Hippasos

Hippasos dari Metapontum Hippasos dari Metapontum adalah seorang filsuf penganut aliran Phytagoras.

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

Hippokrates dari Khios

kompas dan lurus). Hippokrates dari Chios (Ἱπποκράτης ὁ Χῖος) merupakan seorang Matematikawan, Geometer, dan Astronom Yunani kuno yang hidup pada sekitar tahun 470 – skt.

Baru!!: Pembuktian melalui kontradiksi dan Hippokrates dari Khios · 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 »

Mazhab Elea

Dalam filsafat, mazhab Elea adalah aliran pemikiran pra-Sokrates yang berkembang pada abad ke-5 SM di koloni Yunani kuno di Elea (Ἐλέα), kini bagian dari Campania, Italia.

Baru!!: Pembuktian melalui kontradiksi dan Mazhab Elea · Lihat lebih »

Metode penghabis

Dalam matematika, metode penghabis (Latin: methodus exhaustionibus) adalah suatu cara kuno untung menghitung luas, volume, dan panjang dari bentuk geometri melengkung, seperti lingkaran.

Baru!!: Pembuktian melalui kontradiksi dan Metode penghabis · Lihat lebih »

Otak Boltzmann

Otak Boltzmann dinamai dari ilmuwan Ludwig Boltzmann. Otak Boltzmann mengacu kepada argumentasi yang menyatakan bahwa pembentukan otak secara spontan dan singkat di ruang kosong (lengkap dengan ingatan palsu) itu lebih mungkin daripada pembentukan alam semesta seperti yang digagas oleh ilmu pengetahuan modern.

Baru!!: Pembuktian melalui kontradiksi dan Otak Boltzmann · Lihat lebih »

Panarion

Panarion (bahasa Yunani: Πανάριον, "Kotak obat-obatan") adalah nama yang diberikan oleh terjemahan bahasa Latin dari abad ke-16 untuk suatu karya heresiologi Kristen awal yang berjudul Adversus Haereses (bahasa Latin untuk "Melawan Ajaran Sesat") yang merupakan karya terpenting oleh Epifanius dari Salamis (meninggal tahun 403 M).

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

Pecahan tak tersederhanakan

Pecahan tak tersederhanakan adalah pecahan dengan pembilang dan penyebutnya berupa bilangan bulat tetapi tidak mempunyai pembagi yang sama selain 1, dan juga selain −1 jika bilangannya negatif.

Baru!!: Pembuktian melalui kontradiksi dan Pecahan tak tersederhanakan · 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 »

Pertentangan antar hak asasi manusia

Pertentangan antar hak asasi manusia atau konflik antar hak asasi manusia adalah pertentangan yang terjadi di antara dua hak asasi, contohnya pertentangan antara hak atas kehidupan pribadi seorang artis dengan kebebasan berekspresi seorang wartawan yang mengulas kehidupan artis tersebut.

Baru!!: Pembuktian melalui kontradiksi dan Pertentangan antar hak asasi manusia · Lihat lebih »

Pi

Simbol '''Pi''', π. Bilangan (kadang-kadang ditulis pi) adalah sebuah konstanta dalam matematika yang merupakan perbandingan keliling lingkaran dengan diameternya.

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

Pohon rentang minimum

Pohon rentang minimum atau pohon rentang berbobot minimum (minimum spanning tree, MST) adalah himpunan bagian dari himpunan garis-garis (edge) suatu graf berbobot tak berarah yang menghubungkan semua titik tanpa membentuk siklus dan dengan total bobot minimum.

Baru!!: Pembuktian melalui kontradiksi dan Pohon rentang minimum · Lihat lebih »

Reductio ad Hitlerum

Reductio ad Hitlerum (pseudo-Latin untuk "reduksi kepada Hitler"; terkadang disebut argumentum ad Hitlerum, "argumen kepada Hitler", ad Nazium, "kepada Nazisme"), atau penggunaan kartu Nazi, adalah sebuah upaya untuk menyerang pandangan orang lain dengan mengatakan bahwa pandangan tersebut juga dianut oleh Adolf Hitler atau Partai Nazi, misalnya: "Hitler menentang rokok, X menentang rokok, sehingga X adalah seorang Nazi".

Baru!!: Pembuktian melalui kontradiksi dan Reductio ad Hitlerum · Lihat lebih »

Teorema Wilson

Dalam teori bilangan, Teorema Wilson menyatakan bahwa bilangan bulat n > 1 adalah bilangan prima jika dan hanya jika perkalian semua bilangan bulat positif yang lebih kecil dari n mempunyai selisih 1 dengan suatu kelipatan dari n. Dengan menggunakan faktorial (n-1)!.

Baru!!: Pembuktian melalui kontradiksi dan Teorema Wilson · Lihat lebih »

What Is It Like to Be a Bat?

Thomas Nagel "What is it like to be a bat?" adalah sebuah artikel yang ditulis oleh filsuf Amerika Serikat Thomas Nagel yang pertama kali diterbitkan di dalam jurnal The Philosophical Review pada Oktober 1974 dan kemudian di dalam buku Mortal Questions (1979) karya Nagel.

Baru!!: Pembuktian melalui kontradiksi dan What Is It Like to Be a Bat? · Lihat lebih »

Beralih ke halaman ini:

Bukti melalui kontradiksi, Reductio ad absurdum.

KeluarMasuk
Hei! Kami di Facebook sekarang! »