DIAGRAMAS LÓGICOS

Tipo Diagrama
Definição

São representações gráficas, também

conhecidas por Diagramas de Euler-Venn,
da teoria dos conjuntos.
* Muito importantes quando estamos diante
de proposições categóricas.

Os 4 tipos:

- Todo X é Y
Não existe qualquer X que não seja Y.
- Algum X é Y
Pelo menos um elemento de X também é elemento de Y.
- Algum X não é Y
Pelo menos um elemento de X não é elemento de Y.
- Nenhum X é Y
Não existe elemento de X que também seja elemento de Y.