Disjungsi dalam Logika Proposisional

Pada bidang logika proposisional, disjungsi adalah salah satu operasi dasar yang membentuk dasar dari sistem logika. Disjungsi memegang peranan penting dalam menyusun argumen logis dan membuktikan kebenaran suatu pernyataan.

Sintaks dan Semantik

Dalam logika proposisional, disjungsi antara dua proposisi p dan q ditulis sebagai "p ∨ q". Arti dari ekspresi ini adalah "p atau q" dengan sifat inklusif.

Tabel Kebenaran

Tabel kebenaran untuk disjungsi menyatakan bahwa hasilnya bernilai benar jika minimal satu dari p atau q bernilai benar. Hal ini berbeda dengan konjungsi yang membutuhkan kedua proposisi bernilai benar.

Contoh dalam Argumen Logis

Disjungsi sering digunakan dalam argumentasi logis, misalnya untuk menyusun premis-premis yang saling melengkapi atau sebagai alternatif dalam pemecahan masalah.