Izraz dedukcija, koji potječe od latinske riječi deductio , odnosi se na čin i posljedicu deducije. Ovaj se glagol, pak, odnosi na izvlačenje zaključka ili diskontiranje određenog iznosa.
Na primjer: "Jutros, kad sam ustao, niste bili kod kuće: tako po odbitku, pretpostavljam da ste proveli cijelu noć vani" , "Pokrajinska vlada je najavila da će primijeniti odbitak od 2% na sve bankovne depozite koji premašiti 10.000 pezosa " , " Riznica će omogućiti oduzimanje troškova najma od poreza na dohodak . "
Na razini logike, dedukcija je vrsta obrazloženja kroz koje se zaključak nužno izvodi iz aksioma ili pretpostavki. Nakon niza formula, deduktivno zaključivanje omogućava da se zaključak izvodi pomoću pravila zaključivanja.
Pogledajmo kako djeluje odbitak od prostorija:
Prostor br. 1: „Svi psi su sisari“.
Broj 2: „Bobby je pas“
Zaključak: „Bobby je sisavac“
Kao što se može vidjeti, ako su svi psi su sisavci i Bobby je pas, logično odbitak je da je Bobby je i sisavac jer on je pas. Zaključak se u ovom okviru sastoji u izvlačenju određene istine polazeći od općeg načela.
U području logike prijedloga, logike prvog reda i drugih formalnih sustava poznat je po nazivu dedukcijskog teorema, metateoreme koji se vrlo često koristi za provođenje dokaza drugog. U međuvremenu je metateorema jedna od grana logike i usredotočena je na proučavanje sastavnica i svojstava logičkih sustava; Među potonjim se ističu cjelovitost, odlučnost i dosljednost.
Teorem dedukcije može se definirati kao formalizacija normalne tehnike dokazivanja: pretpostavka A je dovoljna da se zaključi da je B, i tako pokazuje da B slijedi iz A.
Prostori u prethodnom primjeru su provjereni, i prvi (koji se može razraditi zahvaljujući činjenici da su ljudi stoljećima posvetili proučavanju vrsta koje obitavaju na planeti Zemlji) i drugi (jer se promatrač pobrinuo da Bobby biti pas prije nego što to potvrdiš). Međutim, kada prvi put posjetimo prirodni prostor i vidimo nam nepoznatu životinju, normalno je da zaključimo njegovu vrstu, čak i ako nemamo nikakvo znanstveno znanje i bez da smo ga pažljivo ispitali.
Ovaj oblik odbitka je vrlo čest i ponekad može uzrokovati ozbiljne probleme, posebno kada se poruka koju smatramo da primamo čini da se osjećamo ugroženom ili povrijeđenom. Ne možemo pobjeći od svoje znatiželjne naravi, svoje potrebe da kažemo o svemu oko sebe, ali vrlo često prelazimo i radimo greške koje narušavaju odnose, izbacuju nas iz posla ili povređuju druge.
U poreznoj sferi, odbitak je dodatak: popust na iznos kvote ili osnovicu određenog poreza. Pretpostavimo da osoba mora platiti 5000 pesosa od poreza na dohodak. Porezni propis, međutim, omogućuje odbitak od navedenog poreza iznos uložen u proizvodne aktivnosti. U slučaju ove jedinke, to je 1000 pesosa. Stoga se za prvobitnu nagodbu primjenjuje odgovarajući odbitak: iznos koji se mora platiti ostaje 4000 pezosa.