satisfiable
/ˈsætɪsˌfaɪəbəl/
🇬🇧Bahasa InggrisLogikaMatematikaIlmu KomputerNetral
Ringkasan Makna
Sifat suatu rumus logika yang dapat bernilai benar jika diberikan penugasan nilai kebenaran yang tepat.
Penjelasan & Konteks Penggunaan
Dalam logika matematika dan ilmu komputer, sebuah rumus atau proposisi dikatakan 'satisfiable' jika terdapat setidaknya satu interpretasi atau penugasan nilai variabel (true/false) yang membuat seluruh rumus tersebut bernilai benar (true). Istilah ini merupakan konsep fundamental dalam masalah SAT (Boolean Satisfiability Problem).
Contoh Penggunaan dalam Kalimat
“The boolean formula is satisfiable because there exists an assignment that makes it true.”
→Rumus boolean tersebut dapat dipenuhi (satisfiable) karena terdapat penugasan yang membuatnya bernilai benar.
“A contradiction is never satisfiable.”
→Sebuah kontradiksi tidak pernah dapat dipenuhi (satisfiable).
Asal-usul & Konteks Budaya
Berasal dari bahasa Latin 'satisfacere' (memenuhi). Istilah ini menjadi standar dalam logika formal sejak abad ke-20 untuk mendeskripsikan model yang valid dalam sistem formal.