Disjungsi dalam Logika

Disjungsi merupakan salah satu operasi dasar dalam logika. Operasi ini biasanya dikenal sebagai "atau" logis, yang digunakan untuk menggabungkan dua pernyataan atau lebih sehingga hasilnya benar jika salah satu dari pernyataan tersebut benar. Simbol yang umum digunakan untuk disjungsi adalah ∨.

Pengertian Disjungsi

Disjungsi adalah operasi yang menghubungkan dua proposisi dengan kata penghubung "atau". Dalam notasi formal, jika p dan q adalah dua proposisi, maka disjungsi keduanya ditulis sebagai "p ∨ q".

Tabel Kebenaran Disjungsi

Disjungsi memiliki tabel kebenaran yang sederhana: hasil dari p ∨ q adalah benar jika p benar, q benar, atau keduanya benar. Hanya pada kasus keduanya salah, hasil disjungsi menjadi salah.

Aplikasi dalam Logika Matematika

Disjungsi sangat penting dalam logika matematika karena sering digunakan dalam pembuktian atau penyusunan argumen. Selain itu, disjungsi juga banyak dijumpai dalam pemrograman komputer dan bidang-bidang lain yang menggunakan logika formal.