一个推理是形式有效的，指的是对于一个推理形式假设其前提是真的，那么其结论_______。