apa yang dimaksud dengan negasi introduksi?

Negasi introduksi adalah salah satu aturan dalam logika proposisional yang digunakan dalam pembuktian dengan metode proof by contradiction atau pembuktian dengan kontradiksi. Aturan ini membantu membuktikan bahwa suatu proposisi salah (atau bernilai negatif) dengan menunjukkan bahwa jika proposisi tersebut benar, akan terjadi kontradiksi.

Contoh Sederhana

Misalkan kita ingin membuktikan bahwa pernyataan "Tidak semua angka genap" adalah benar.

• Asumsi awal: Semua angka adalah genap (pernyataan ini adalah negasi dari pernyataan yang ingin kita buktikan).
• Dari asumsi ini, kita akan menemukan bahwa ada angka ganjil, yang bertentangan dengan asumsi "semua angka genap".
• Karena terdapat kontradiksi, maka asumsi awal salah, dan kita dapat menyimpulkan bahwa "tidak semua angka genap" adalah benar.

Negasi introduksi sering digunakan dalam berbagai bentuk pembuktian matematika, terutama dalam pembuktian non-konstruktif.