推理的形式有效是指运用该推理形式不会出现结论假的情况。