"induktiv logikk" er et 15-bokstavers substantiv som brukes som synonym for "induksjonsbevisa". induksjonsbevisa betyr: Logikk basert på induksjon.