Operação pela qual se conclui rigorosamente de uma ou de várias proposições tomadas como premissas uma proposição que é sua conclusão necessária em virtude destas regras lógicas. Fonte: LALANDE, André. Vocabulário técnico e crítico da filosofia. São Paulo: Martins Fontes, 1993. 1336 p.
