unsatisfiable
/ʌnˈsætɪsfaɪəbl/
🇬🇧Bahasa InggrisMatematikaLogikaIlmu KomputerAdjektivaNetral
Ringkasan Makna
Tidak dapat dipuaskan atau tidak memiliki interpretasi yang membuat suatu pernyataan bernilai benar.
Penjelasan & Konteks Penggunaan
Dalam logika matematika dan ilmu komputer (khususnya dalam masalah kepuasan logika atau SAT), sebuah rumus atau formula disebut 'unsatisfiable' jika tidak ada satupun penugasan nilai kebenaran (truth assignment) yang dapat membuat formula tersebut bernilai benar secara keseluruhan. Istilah ini juga digunakan dalam konteks optimisasi untuk menyatakan masalah yang tidak memiliki solusi yang memenuhi semua kendala yang diberikan.
Contoh Penggunaan dalam Kalimat
“The given propositional formula is unsatisfiable because it leads to a logical contradiction.”
→Formula proposisional yang diberikan tidak dapat dipuaskan karena mengarah pada kontradiksi logis.
“An unsatisfiable set of constraints means no feasible solution exists.”
→Kumpulan kendala yang tidak dapat dipuaskan berarti tidak ada solusi yang layak yang tersedia.
Asal-usul & Konteks Budaya
Berasal dari bahasa Inggris, gabungan dari awalan 'un-' (tidak), kata kerja 'satisfy' (memuaskan), dan akhiran '-able' (dapat). Istilah ini menjadi baku dalam bidang logika matematika modern dan teori kompleksitas komputasi.