所谓一个推理是形式有效的，指的是对于一个推理形式假设其前提是真的，则其( )一定也是真的。