Rozumowanie abdukcyjne, abdukcja – pojęcie wywodzące się z filozofii Charlesa Peirce’a, stworzone dla oznaczenia procesu tworzenia wyjaśnień; jest procesem rozumowania, który dla pewnego zbioru faktów tworzy ich najbardziej prawdopodobne wyjaśnienia. Termin abdukcja jest czasem używany dla oznaczenia po prostu procesu tworzenia hipotez służących wyjaśnianiu obserwacji lub wniosków, ale definicja poprzednia jest bardziej rozpowszechniona tak w filozofii, jak i w informatyce. Logika (gr. λόγος, logos – rozum, słowo, myśl) – wedle klasycznej definicji – nauka o sposobach jasnego i ścisłego formułowania myśli, o regułach poprawnego rozumowania i uzasadniania twierdzeń. Jako taka wraz z retoryką logika stanowiła część filozofii. Współczesna logika wykorzystując metodę formalną znacznie rozszerzyła pole badań włączając w to badania nad matematyką (metamatematyka, logika matematyczna), konstruowanie nowych systemów logicznych (np. logiki wielowartościowe), czysto teoretyczne badania o matematycznym charakterze (np. teoria modeli), zastosowania logiki w informatyce i sztucznej inteligencji (logic for computer science).

Dedukcja to rodzaj rozumowania logicznego, mającego na celu dojście do określonego wniosku na podstawie założonego wcześniej zbioru przesłanek. Rozumowanie dedukcyjne w odróżnieniu od rozumowania indukcyjnego jest w całości zawarte wewnątrz swoich założeń, to znaczy nie wymaga tworzenia nowych twierdzeń czy pojęć, lecz jest tylko prostym wyciąganiem wniosków. Jeśli jest przeprowadzone poprawnie, zaś zbiór przesłanek nie zawiera zdań fałszywych, to wnioski wyciągnięte w wyniku rozumowania dedukcyjnego są nieodparcie prawdziwe i nie można ich zasadnie zakwestionować.Rozumowanie – proces myślowy polegający na uznaniu za prawdziwe danego przekonania lub zdania na mocy innego przekonania lub zdania uznanego za prawdziwe już uprzednio.