(filosofia) processo de raciocínio através do qual é possível, partindo de uma ou mais premissas aceitas como verdadeiras (por exemplo, A é igual a B e B é igual a C) a obtenção de uma conclusão necessária e evidente (no exemplo anterior, A é igual a C)