Distancia de Hamming

Enunciado

Soluciones

3 Comentarios

    1. La propiedad

      no expresa una condición necesaria y suficiente para que (distancia xs ys == 0). Una forma de expresarla es usando una propiedad para la condición necesaria y otra para la condición suficiente.

      La condición necesaria es

      y su comprobación es

      Se encuentra un contraejemplo. En efecto,

      La condición suficiente es

      y su comprobación es

      Para entender lo que expresa la prop_distancia, se pueden escribir los paréntesis implícitos y la propiedad queda como

      Si representamos (xs == ys) por p y (distancia xs ys == 0) por q, la propiedad anterior es isomorfa a la tautología (p -> (q & q -> p)). En efecto,

      y su comprobación es

      La propiedad anterior no expresa que p syss q. Para expresarlo se puede usar, como vimos antes, una propiedad para la condición necesaria y otra para la condición suficiente. Otra forma de expresar la equivalencia es

      y su comprobación es

      Un ejemplo análogo es cómo expresar la equivalencia entre (x /= 1) y (x =/= 2). Una forma incorrecta de expresarla es

      y su comprobación es

      Una forma correcta de expresar la equivalencia entre (x /= 1) y (x =/= 2) es

      y su comprobación es

Escribe tu solución