Coba jelasin Kondisi dari Penalaran abduktif dong

Abduktif berbasis logika  diartikan secara logika dengan menyatakan bahwa penjelasan dicapai melalui penggunaan teori logis  mewakili domain (pernyataan) dan satu set pengamatan . abduksi yang dimaksudkan ialah proses menurunkan satu set penjelasan dari  berdasarkan  dan memilih salah satu dari penjelasan itu. Maka, untuk  menjadi penjelasan  berdasarkan , itu harus memenuhi dua kondisi yakni

Kondisi pertama ialah  mengikuti dari  dan  dan

Kondisi kedua ialah  konsisten dengan .

Pada logika formal,  dan  diasumsikan sebagai set literal dengan dua syarat untuk  menjadi penjelasan dari  sesuai teori  yakni