Questões de Concurso Sobre lógica de argumentação - diagramas e operadores lógicos em raciocínio lógico

Se é verdade que alguns vendedores ganham o salário maior do que o do gerente e que nenhum estudante ganha o salário maior do que o do gerente, então é necessariamente verdade que:

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