Sejam os conjuntos 𝐴 = {1; 4; 9; 16; 25} e 𝐵 = {√(3𝑥 − 5) ∈ ℕ|𝑥 ∈ ℕ ∧ 1 ≤ 𝑥 ≤ 9}. Considere as afirmações:
I. Se 𝐶 = {𝑥𝑦|𝑥 ∈ 𝐴 ∧ 𝑦 ∈ 𝐵}, então todos os elementos do conjunto 𝐶 são números pares.
II. ∀𝑦 ∈ 𝐵, ∃𝑥 ∈ 𝐴 tal que 𝑦 = 𝑥.
III. ∀𝑥 ∈ 𝐴, ∃𝑦 ∈ 𝐵 tal que 𝑦 ≥ 𝑥.
IV. ∀𝑥 ∈ 𝐴, ∃𝑦 ∈ 𝐵 tal que 𝑥 + 𝑦 < 27.
São corretas: