Dynamisk og formell ekvivalens