Operação discursiva pela qual se conclui que uma ou várias proposições implicam a verdade, a probabilidade ou a falsidade de outra proposição. Fonte: LALANDE, André. Vocabulário técnico e crítico da filosofia. São Paulo: Martins Fontes, 1993. 1336 p.
