填空题 一个逻辑推理是形式有效的.指的是对一个推理形式，如果假设其前提是真的，那么其( )。