Lógica aristotélica
Diagramas de Venn
O lógico do século XIX John Venn criou um sistema de diagramas para representar as informações expressas em proposições categóricas. Esses diagramas ficaram conhecidos como diagramas de Venn. O uso...
Conversão, obversão e contraposição
Conversão, obversão e contraposição são operações lógicas que podem ser feitas com proposições categóricas. Considere para início de explicação a proposição “alguns mamíferos são seres voadores”, ela quer dizer que...
Quadrado de oposições
O quadrado de oposições representa as relações existentes entre os quatro tipos de proposições categóricas. No canto superior esquerdo temos a proposição universal afirmativa (A), no canto superior direito a...