Este método fue ampliamente utilizado por Aristóteles en al silogística.