Orðaskrá

deduction, n.

1. afleiðsla, ályktun
   = inference 1, logical deduction
   -> proof