"teoretisk utledning" er et 19-bokstavers substantiv som brukes som synonym for "deduksjon". deduksjon betyr: Konklusjon basert på teoretiske premisser.