"logisk bevis" er et 12-bokstavers substantiv som brukes som synonym for "induksjonsbevisa". induksjonsbevisa betyr: Bevis basert på logikk, ofte induktiv eller deduktiv.