"logisk utledning" er et 16-bokstavers substantiv som brukes som synonym for "deduksjon". deduksjon betyr: Konklusjon som følger av logiske premisser.