Avdrag kan innebära:

  • Deduktion inom logiken:
    • Deduktivt resonemang
    • Naturlig deduktion: Försök att ge en modell för logiska resonemang som de "naturligt" uppstår.
  • Utgifter som får dras av från vinsten före skatt