Considere as seguintes afirmações sobre os conjuntos não vazios A, B, C e D. 1) forall x in C, x in B2) exists x in A | x in C3) exists x in B | x otin A4) exists x in A cap B | x otin C5) forall x in D, x otin A mathrm{ e } x otin B. (a) Diga se cada diagrama abaixo satisfaz a todas as afirmações acima. Caso não satisfaça, diga qual(is) afirmação(ões) não seria(m) verdadeira(s). I. Ii. Iii. Iv. (b) Esboce os conjuntos por meio de um diagrama de Venn. Caso haja mais de uma possibilidade, esboce todas que encontrar. (Faça de forma que dois conjuntos só se intersectem no diagrama se puder ser garantido, pelas afirmações, que a interseção deles não é vazia).
