DIAGRAMAS
LÓGICOS
UNIVERSAL
AFIRMATIVO
UNIVERSAL
NEGATIVO
PARTICULAR
AFIRMATIVO
PARTICULAR
NEGATIVO
∃x (A(x) ^ ~B(x))
NÃO HÁ
PROPRIEDADE
COMUTATIVA
ALGUM A NÃO É B
ALGUM B NÃO É A
=/=
∃x (A(x) ^ B(x))
∀x (A(x) -> B(x))
∀x (A(x) ^ ~B(x))
NÃO HÁ
PROPRIEDADE
COMUTATIVA
TODO A É B
TODO B É A
=/=
PROPRIEDADE
COMUTATIVA
ALGUM A É B
ALGUM B É A
PROPRIEDADE
COMUTATIVA
TODO A NÃO É B
TODO B NÃO É A
∀x A(x) -> ∃x A(x) é uma tautologia
- V -> V = V
- F -> V/F = V