COMANDOS

UNIÃO (OU) v
INTERSEÇÃO (E) ^
SE →
SE E SOMENTE SE ↔
OU…OU… v

NEGAÇÃO
A ou B ~A e ~B
Ae B ~A ou ~B
Se A →B A e ~B
A↔B (~A ^ B) v (A ^ ~B)
AvB A↔B
TODO ALGUM
NENHUM ALGUM
ALGUM NENHUM/ TODO

EQUIVALÊNCIA
Se A →B Se ~B→~A
Se A →B ~A ou ~B