Questões de Concurso Público Prefeitura de Barra de São Miguel - AL 2017 para Médico

Considerando que os símbolos ¬, ∧, ∨, ∀ e ∃ representam negação, conjunção, disjunção, quantificador universal e quantificador existencial, respectivamente, e dado o conjunto de premissas {∀ x (¬P(x) ∧ Q(x))}, qual informação abaixo pode ser inferida?

Qual das proposições abaixo pode ser inserida no conjunto de premissas {(2 ∈ (A ∩ B)), (B ⊆ C), (A ⊆ B), (5 ∈ (B - A)), (3 ∈ (C – B ))} de forma a não criar uma contradição?