Orðaskrá

enskaíslenskaí vinnslu

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

rule of inference

1. rökleiðsluregla, rökregla, ályktunarregla, afleiðsluregla
   = deductive rule, derivative rule, inference rule, rule of derivation