Skip to Content
Setjið inn leitarorð eða tilgreinið leitarskilyrði með reglulegri segð.

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