实质推理的确定性主要是由推理的形式有效性来决定的。