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