Vamos analisar cada uma das afirmativas sobre conjuntos enumeráveis: 1. ( ) Dados dois conjuntos x e y enumeráveis, então x ∪ y é enumerável. É verdadeira (V). A união de dois conjuntos enumeráveis também é enumerável, pois podemos listar os elementos de ambos os conjuntos em uma sequência. 2. ( ) Se um conjunto y é enumerável e f: x → y é uma função injetiva, então x é enumerável. É falsa (F). Uma função injetiva de um conjunto x para um conjunto enumerável y não garante que x seja enumerável, pois x pode ser maior que y. 3. ( ) O conjunto x = (2, 4, 6, 8, ...) dos números naturais pares não é um conjunto enumerável. É falsa (F). O conjunto dos números naturais pares é enumerável, pois podemos estabelecer uma bijeção entre os números naturais e os números pares (por exemplo, f(n) = 2n). 4. ( ) Se um conjunto x é enumerável e f: x → y é uma função sobrejetiva, então y é enumerável. É verdadeira (V). Se x é enumerável e existe uma função sobrejetiva de x para y, então y também deve ser enumerável. Agora, organizando as respostas: 1. V 2. F 3. F 4. V Portanto, a sequência correta é: a) V - F - F - V.