Simbologia:

= igual

ou

e

união

intersecção

~ não

 existe

 não existe

| existe e é único

 para todo (qualquer)

 implicação

 se, somente se ....