Lihat sumber 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.