Abduktif berbasis logika (''Logic-based abduction'')<ref>{{Cite journal|last=Eiter|first=Thomas|last2=Gottlob|first2=Georg|date=1995|title=The Complexity of Logic-Based Abduction|url=https://www.dbai.tuwien.ac.at/staff/pichler/complexity/eiter1995.pdf|journal=Journal of the ACM|language=en|volume=42|issue=1|pages=1|doi=10.1145/200836.200838}}</ref> diartikan secara [[logika]] dengan menyatakan bahwa penjelasan dicapai melalui penggunaan teori logis<ref>{{Cite book|last=Sober|first=Elliott|date=2004|url=https://cloudflare-ipfs.com/ipfs/bafykbzacecpjrejihd5bwoevu6bvqcpycmevjysvcou4utffnopl6lrwyxjc6?filename=Elliott%20Sober%20-%20Core%20Questions%20in%20Philosophy-Prentice%20Hall%20%282004%29.pdf|title=Core Questions in Philosophy|location=London|publisher=Pearson College Div|isbn=978-0131898691|edition=4|pages=10|url-status=live}}</ref> <math>T</math> mewakili [[Domain wacana|domain]] (pernyataan) dan satu set pengamatan <math>O</math>. abduksi yang dimaksudkan ialah proses menurunkan satu set penjelasan dari <math>O</math> berdasarkan <math>T</math> dan memilih salah satu dari penjelasan itu. Maka, untuk <math>E</math> menjadi penjelasan <math>O</math> berdasarkan <math>T</math>, itu harus memenuhi dua kondisi yakni
: Kondisi pertama ialah <math>O</math> mengikuti dari <math>E</math> dan <math>T</math> dan
