Dalam matematik, pembuktian dengan kontrapositif, atau pembuktian dengan kontraposisi, ialah peraturan inferens yang digunakan dalam pembuktian, di mana seseorang membuat kesimpulan pernyataan bersyarat daripada kontrapositifnya. Dalam erti kata lain, kesimpulan "jika A, maka B" disimpulkan dengan membina bukti tuntutan "jika bukan B, maka bukan A" sebaliknya.
Bagaimanakah anda membuktikan dengan percanggahan?
Langkah-langkah yang diambil untuk pembuktian secara percanggahan (juga dipanggil pembuktian tidak langsung) ialah:
- Anggaplah bertentangan dengan kesimpulan anda. …
- Gunakan andaian untuk memperoleh akibat baharu sehingga satu adalah bertentangan dengan premis anda. …
- Simpulkan bahawa andaian mesti palsu dan sebaliknya (kesimpulan asal anda) mesti benar.
Bagaimanakah anda membuktikan hukum Kontraposisi?
"Jika hujan, maka saya memakai kot saya" - "Jika saya tidak memakai kot saya, maka ia tidak hujan." Hukum kontraposisi mengatakan bahawa pernyataan bersyarat adalah benar jika, dan hanya jika, kontrapositifnya adalah benar.). Ini sering dipanggil undang-undang kontrapositif, atau peraturan inferens modus tollens.
Bagaimanakah anda membuktikan keletihan?
Untuk kes Bukti melalui Keletihan, kami menunjukkan bahawa penyataan adalah benar untuk setiap nombor dalam pertimbangan. Bukti oleh Keletihan juga termasuk bukti di mana nombor dibahagikan kepada satu set kategori lengkap dan pernyataan itu ditunjukkan sebagai benar untuk setiap kategori.
Bilakah anda harus menggunakan bukti dengan percanggahan?
Bukti percanggahan sering digunakan apabila terdapat beberapa pilihan binari antara kemungkinan:
- 2 \sqrt{2} 2 sama ada rasional atau tidak rasional.
- Terdapat banyak bilangan prima atau bilangan bilangan prima terhingga.
