A Se 2∈A, entãoA= {1,2,3,5} e, portanto, 4∈Cpor iv.
B Se 6∈C, então, por v, 6∈(A∪B), e, portanto, 6∈Aou 6∈B. Apenas uma destas é verdadeira, por vii. Não pode ser 6∈A, pois teríamos então 6∈(A∪C) -B, que não é verdade por ix. Assim, temos um absurdo, e 6∉C.
C 2∈(A∪C) por ix e, portanto, 2∈Aou 2∈C. Baseado em iv e v, concluímos que apenas uma destas proposições é verdadeira.
D Se 9∈C, então (por v) 9∈A∪Be, portanto, 9∈Aou 9∈B. Por vii, apenas uma destas afirmativas é verdadeira. Suponha que 9∈Aé verdadeira. Então, 9∈A∪C e 9∉B resultando em 9∈(A∪C) - B,o que não é verdade por ix. Resta, portanto, 9∈B.
E C = {1,2,6,7}