Dalam logika matematika, disjungsi adalah pernyataan majemuk yang menghubungkan dua pernyataan tunggal dengan kata 'atau'. Pernyataan disjungsi akan bernilai benar jika salah satu atau kedua pernyataan tunggalnya bernilai benar. Contohnya: 'Saya akan pergi ke pasar atau saya akan pergi ke bioskop.' dan 'Bilangan ini genap atau bilangan ini lebih besar dari 10.'