(ITA 1989) Sejam A, B e C subconjuntos de IR, não vazios, e A - B = {p ∈ IR; p ∈ A e p ∉ B}. Dadas as igualdades:
1) (A - B)xC = (AxC) - (BxC)
2) (A - B)xC = (AxB) - (BxC)
3) (A∩B) - A ≠ (B∩A) - B
4) A - (B∪C) = (A - B)∪(A - C)
5) (A - B)∩(B - C) = (A - C)∩(A - B)
Podemos garantir que:
apenas a 1 é verdadeira
1 e 5 são verdadeiras
3 e 4 são verdadeiras
1 e 4 são verdadeiras
1 e 3 são verdadeiras