Considerando que os símbolos ¬, →, ∃ e ∀ representam negação, conjunção, implicação, quantificador existencial e quantificador universal, respectivamente, e o universo como sendo o conjunto dos números naturais, dados os conjuntos A = {7, 18, 19, 21, 31}, B = {2, 11, 18, 19, 22} e C = {19, 22, 31}, qual das alternativas apresenta a fórmula verdadeira?