Questões de Raciocínio Lógico - Lógica de Argumentação - Diagramas e Operadores Lógicos para Concurso

Um grupo de seis pessoas passou por uma bateria de testes para verificação se eram ou não eram qualificadas para exercer determinada função em uma empresa. Algumas informações sobre os resultados dos testes são dadas a seguir e expressas da seguinte forma: ‘é’, que significará ser qualificada ou qualificado ou na forma ‘não é’ que significará não ser qualificada ou não ser qualificado.
Considere que as seguintes afirmações são verdadeiras:
I. Se André é, então Bruna é. II. Cleusa é ou Davi é. III. Ou Elton é ou Fabiana não é. IV. Bruna não é. V. Cleusa não é. VI. Fabiana é.

A partir dessas informações é logicamente verdadeiro afirmar que:

Considerando-se que os símbolos ∧ e → representam conjunção e implicação, respectivamente, dadas as fórmulas sobre quaisquer três conjuntos A, B e C,
   I. (A ⊆ B) → (A ∩ B ≠ ∅ )   II. ((A ⊆ B) ∧ (B ⊆ A)) → (A = B)  III. (A ∩ B ∩ C = B ∩ C) → (B ∩ C ⊆ A) IV. (A ∪ B = B ∪ C) → ((A - C = ∅) ∧ (C - A = ∅))
verifica-se que são verdadeiras