Please enable JavaScript.
Coggle requires JavaScript to display documents.
DIAGRAMAS LÓGICOS, image, =/=, image, =/=, image, image, ∀x A(x) -> ∃x…
DIAGRAMAS
LÓGICOS
UNIVERSAL
AFIRMATIVO
∀x (A(x) -> B(x))
NÃO HÁ
PROPRIEDADE
COMUTATIVA
TODO
A
É
B
TODO
B
É
A
UNIVERSAL
NEGATIVO
∀x (A(x) ^ ~B(x))
PROPRIEDADE
COMUTATIVA
TODO
A
NÃO É
B
TODO
B
NÃO É
A
PARTICULAR
AFIRMATIVO
∃x (A(x) ^ B(x))
PROPRIEDADE
COMUTATIVA
ALGUM
A
É
B
ALGUM
B
É
A
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) -> ∃x A(x)
é uma tautologia
V -> V = V
F -> V/F = V
