一个演绎推理，如果前提真实或者推理形式有效，则它的结论一定是真实的