Proposições Categóricas
Inferências imediatas
Silogismos Categóricos
Formalizar
Formalizar e Método dedutivo
