"logisk induksjon" er et 16-bokstavers substantiv som brukes som synonym for "induksjonsbevisa". induksjonsbevisa betyr: Induksjon brukt i logiske resonnementer.