🔨 Pembuktian Logika

Pembuktian logika dilakukan untuk memvalidasi nilai kebenaran dari suatu proposisi majemuk atau kesahihan suatu argumen.

Terdapat tiga metode utama yang digunakan dalam Pembuktian Logika:

Tabel Kebenaran (Truth Table)
Penyederhanaan (Simplification)
Aturan Inferensi (Inference Rules)

1. Tabel Kebenaran (Truth Table)

Metode ini adalah teknik pembuktian yang paling dasar dan akurat dengan mencatat semua kemungkinan nilai kebenaran dari proposisi atomik dan menghitung nilai kebenaran proposisi majemuk secara keseluruhan.

2. Penyederhanaan (Simplification)

Penyederhanaan adalah metode pembuktian dengan menggunakan Hukum-Hukum Logika untuk memanipulasi ekspresi logika hingga mencapai bentuk yang paling sederhana yang tidak mungkin lagi dimanipulasi.

Tahapan Penyederhanaan

Penyederhanaan ekspresi logika dilakukan melalui langkah-langkah berikut:

Tentukan Perangkai Utama: Cari perangkai logika yang menjadi pemisah utama pada ekspresi (perangkai yang menjadi “jurang pemisah” pada ekspresi logika).
Sederhanakan Tiap Sisi: Sederhanakan masing-masing sisi dari perangkai utama menjadi bentuk yang lebih sederhana.
Sederhanakan Keseluruhan: Sederhanakan kembali bentuk sederhana dari masing-masing sisi menjadi bentuk yang paling sederhana.

Syarat Penyederhanaan

Penyederhanaan dimungkinkan ketika ditemukan kondisi-kondisi berikut dalam ekspresi:

Variabel Identik: Ada variabel yang sama (misalnya: $(A \lor A)$ atau $(A \lor \neg A)$ ).
Pasangan T/F: Variabel berpasangan dengan nilai kebenaran True ( $T$ atau $1$ ) atau False ( $F$ atau $0$ ).
Perangkai Tingkat Tinggi: Terdapat perangkai tingkat tinggi ( $\to$ / Implikasi dan $\leftrightarrow$ / Bikondisional).

💡

Kamu dapat merujuk ke Hukum-Hukum Logika untuk mengetahui aturan-aturan yang dapat digunakan dalam penyederhanaan ekspresi logika.

⚠️

Catatan Negasi:

Negasi yang berlaku untuk satu variabel ( $\neg A$ ) dianggap sebagai variabel.
Negasi yang berlaku untuk lebih dari satu variabel ( $\neg (A \land B)$ ) dianggap sebagai perangkai (sehingga harus disederhanakan menggunakan Hukum De Morgan).

Contoh Penyederhanaan

Contoh 1: Sederhanakan $(A \lor 0) \land (A \lor \neg A)$ !

Sisi Kiri: $A \lor 0 \equiv A$ (Hukum Identitas)
Sisi Kanan: $A \lor \neg A \equiv 1$ (Hukum Trivial)
Ekspresi Sederhana: $A \land 1$
Hasil Akhir: $A \land 1 \equiv A$ (Hukum Identitas)

Contoh 2: Sederhanakan $((A \lor B) \land \neg A) \land \neg B$ !

Ekspresi ini terbukti sebagai Kontradiksi.
Bentuk paling sederhananya adalah $0$ (False).

3. Aturan Inferensi (Inference Rules)

Metode ini menggunakan serangkaian aturan dasar logika yang terbukti valid (seperti Modus Ponens atau Modus Tollens) untuk menyimpulkan kesimpulan yang benar dari premis-premis yang dianggap benar.