Logica abduttiva