一个逻辑推理是形式有效的，指的是对一个推理形式，如果假设其前提是真的，那么其______。