Vamos analisar cada uma das afirmações uma a uma: 1. ( ) Se a e b deixam o mesmo resto quando divididos por n, então a - b é múltiplo de n. Essa afirmação é verdadeira (V). Se a e b deixam o mesmo resto ao serem divididos por n, isso significa que a e b podem ser expressos na forma a = kn + r e b = mn + r, onde r é o resto. Portanto, a - b = (k - m)n, que é um múltiplo de n. 2. ( ) Se (a - b) é múltiplo de n, então a e b são múltiplos de n. Essa afirmação é falsa (F). O fato de a - b ser múltiplo de n não implica que tanto a quanto b sejam múltiplos de n. Por exemplo, se a = 5 e b = 3, temos a - b = 2, que é múltiplo de 1, mas nem 5 nem 3 são múltiplos de 2. 3. ( ) Se (a * b) é múltiplo de n, então a ou b é múltiplo de n. Essa afirmação é falsa (F). O produto a * b ser múltiplo de n não garante que pelo menos um dos fatores a ou b seja múltiplo de n. Por exemplo, se a = 2 e b = 3, então a * b = 6, que é múltiplo de 3, mas nem 2 nem 3 são múltiplos de 6. 4. ( ) Se d = mdc(a, b) e m = mmc(a, b), então m é múltiplo de d. Essa afirmação é verdadeira (V). O mínimo múltiplo comum (mmc) de dois números é sempre um múltiplo do máximo divisor comum (mdc) desses números. Agora, juntando as análises, temos a sequência: V, F, F, V. Portanto, a alternativa correta é: a) V, F, F, V.